diff src/toplev.cc @ 3202:44d82b369c78

[project @ 1998-10-29 20:27:57 by jwe]
author jwe
date Thu, 29 Oct 1998 20:28:02 +0000
parents c17387059fd3
children bc3fdfe311a3
line wrap: on
line diff
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -258,12 +258,10 @@
 
       if (args.length () > 0)
 	{
-	  // XXX FIXME XXX -- need a safe uniform way to do this.
+	  int tmp = args(0).nint_value ();
 
-	  double tmp = args(0).double_value ();
-
-	  if (! error_state && ! xisnan (tmp))
-	    exit_status = NINT (tmp);
+	  if (! error_state)
+	    exit_status = tmp;
 	}
 
       clean_up_and_exit (exit_status);