changeset 594 | c8092e909886 |
parent 531 | e7d6f28fc882 |
child 625 | c0bda77b37a0 |
child 653 | ea78924a1f60 |
--- a/stage4/generate_c/generate_c_inlinefcall.cc Wed Jun 13 19:51:26 2012 +0200 +++ b/stage4/generate_c/generate_c_inlinefcall.cc Thu Jun 14 12:00:19 2012 +0100 @@ -179,7 +179,7 @@ if (function_type_suffix) { function_type_suffix->accept(*this); } - s4o.print_integer(fcall_number); + s4o.print(fcall_number); s4o.print("("); s4o.indent_right();