diff options
| -rw-r--r-- | asmcomp/i386/arch.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/i386/arch.ml b/asmcomp/i386/arch.ml index 8672c7c6a..acb84e19a 100644 --- a/asmcomp/i386/arch.ml +++ b/asmcomp/i386/arch.ml @@ -109,7 +109,7 @@ let print_specific_operation printreg op arg = | Ipush_int n -> printf "push %s" (Nativeint.to_string n) | Ipush_symbol s -> - print_string "push \"%s\"" s + printf "push \"%s\"" s | Ipush_load addr -> print_string "push ["; print_addressing printreg addr arg; print_string "]" |