diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-10 08:48:25 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-10 08:48:25 +0000 |
| commit | cab4731dcc5ce5ea07ad7cc933b7922054b65f2a (patch) | |
| tree | ea460ac659d5f7ab953554a5bdd7ff2115e1097f | |
| parent | 6d83326e52005142525be07e396b53ab37d113bc (diff) | |
print_string -> printf
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2800 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 "]" |