diff src/user-prefs.cc @ 1086:75fc98220389

[project @ 1995-01-31 04:17:15 by jwe]
author jwe
date Tue, 31 Jan 1995 04:17:15 +0000
parents cb4eaa324faf
children 51fd9e40a7f7
line wrap: on
line diff
--- a/src/user-prefs.cc
+++ b/src/user-prefs.cc
@@ -28,6 +28,7 @@
 #include <string.h>
 
 #include "user-prefs.h"
+#include "mappers.h"
 #include "error.h"
 #include "variables.h"
 #include "utils.h"
@@ -483,7 +484,8 @@
   static int kludge = 0;
 
   double val;
-  if (builtin_real_scalar_variable ("output_max_field_width", val) == 0)
+  if (builtin_real_scalar_variable ("output_max_field_width", val) == 0
+      && ! xisnan (val))
     {
       int ival = NINT (val);
       if (ival > 0 && (double) ival == val)
@@ -512,7 +514,8 @@
   static int kludge = 0;
 
   double val;
-  if (builtin_real_scalar_variable ("output_precision", val) == 0)
+  if (builtin_real_scalar_variable ("output_precision", val) == 0
+      && ! xisnan (val))
     {
       int ival = NINT (val);
       if (ival >= 0 && (double) ival == val)
@@ -541,7 +544,8 @@
   static int kludge = 0;
 
   double val;
-  if (builtin_real_scalar_variable ("save_precision", val) == 0)
+  if (builtin_real_scalar_variable ("save_precision", val) == 0
+      && ! xisnan (val))
     {
       int ival = NINT (val);
       if (ival >= 0 && (double) ival == val)