stage4/generate_c/generate_c_base.cc
changeset 594 c8092e909886
parent 547 dab341e80664
child 634 736b36a83548
child 718 a9f8cc778444
--- a/stage4/generate_c/generate_c_base.cc	Wed Jun 13 19:51:26 2012 +0200
+++ b/stage4/generate_c/generate_c_base.cc	Thu Jun 14 12:00:19 2012 +0100
@@ -385,7 +385,7 @@
 
       str += '"';
       s4o.print("__STRING_LITERAL(");
-      s4o.print_integer(count); 
+      s4o.print(count); 
       s4o.print(",");
       s4o.print(str);
       s4o.print(")");