# HG changeset patch
# User jwe
# Date 796691788 0
# Node ID 97c541091d3bfe6e624f6874b89bae2ad536d06e
# Parent  50cc3480a2db9338047b8695e7fe1925645304ac
[project @ 1995-03-31 23:16:28 by jwe]

diff -r 50cc3480a2db -r 97c541091d3b src/user-prefs.cc
--- a/src/user-prefs.cc	Fri Mar 31 22:35:02 1995 +0000
+++ b/src/user-prefs.cc	Fri Mar 31 23:16:28 1995 +0000
@@ -382,7 +382,7 @@
       && ! xisnan (val))
     {
       int ival = NINT (val);
-      if (ival > 0 && (double) ival == val)
+      if (ival >= 0 && (double) ival == val)
 	{
 	  user_pref.struct_levels_to_print = ival;
 	  return status;