changeset 2957:17c69c89fe93

[project @ 1997-05-09 18:43:21 by jwe]
author jwe
date Fri, 09 May 1997 18:43:21 +0000
parents c41e4dca98b9
children da62d3b91fa3
files src/ov.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/ov.cc
+++ b/src/ov.cc
@@ -1075,7 +1075,7 @@
     "number of levels of structure elements to print");
 
   DEFVAR (warn_divide_by_zero, 1.0, 0, warn_divide_by_zero,
-    "If TRUE, warn about division by zero");
+    "if TRUE, warn about division by zero");
 }
 
 /*