# HG changeset patch
# User jwe
# Date 745568764 0
# Node ID 74d6f5fe70a1a311a12d38e0df537db8bd0c527c
# Parent  1feceb2a86f972d66bf8f85e27c8da9f49ccf168
[project @ 1993-08-17 06:26:04 by jwe]
(process_printf_format): Use NINT for * modifier argument.

diff -r 1feceb2a86f9 -r 74d6f5fe70a1 src/file-io.cc
--- a/src/file-io.cc	Mon Aug 16 19:30:09 1993 +0000
+++ b/src/file-io.cc	Tue Aug 17 06:26:04 1993 +0000
@@ -611,7 +611,7 @@
 	  return -1;
 	}
 
-      fmt << (int) (args[fmt_arg_count++].double_value ());
+      fmt << NINT (args[fmt_arg_count++].double_value ());
       s++;
       chars_from_fmt_str++;
     }
@@ -651,7 +651,7 @@
 	  return -1;
 	}
 
-      fmt << (int) (args[fmt_arg_count++].double_value ());
+      fmt << NINT (args[fmt_arg_count++].double_value ());
       s++;
       chars_from_fmt_str++;
     }