# HG changeset patch
# User jwe
# Date 863203401 0
# Node ID 17c69c89fe932b09054ae3f42b795160ae60ff6f
# Parent  c41e4dca98b95d5eac44935134c5ee7303bcf67e
[project @ 1997-05-09 18:43:21 by jwe]

diff -r c41e4dca98b9 -r 17c69c89fe93 src/ov.cc
--- a/src/ov.cc	Fri May 09 17:19:18 1997 +0000
+++ b/src/ov.cc	Fri May 09 18:43:21 1997 +0000
@@ -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");
 }
 
 /*