diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-03-15 02:09:27 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-03-15 02:09:27 +0000 |
| commit | 8faa469c4823efc56eb103e4b5ef14a169e3b375 (patch) | |
| tree | 9b0ecdcf34113cabc5e891aaec4e3684a38ba9c1 | |
| parent | dc7cea711edd0d04788d47cf35dbf1622fb95374 (diff) | |
Ident passe a Format
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2957 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | asmcomp/printcmm.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/printcmm.ml b/asmcomp/printcmm.ml index 634318363..2a734cc74 100644 --- a/asmcomp/printcmm.ml +++ b/asmcomp/printcmm.ml @@ -85,14 +85,14 @@ let operation = function | Craise -> print_string "raise" | Ccheckbound -> print_string "checkbound" -let print_id ppf id = Ident.print id;; +let print_id ppf id = Ident.print ppf id;; let rec expr ppf = function Cconst_int n -> print_int n | Cconst_natint n -> print_string(Nativeint.to_string n) | Cconst_float s -> print_string s | Cconst_symbol s -> printf "\"%s\"" s - | Cvar id -> Ident.print id + | Cvar id -> Ident.print ppf id | Clet(id, def, (Clet(_, _, _) as body)) -> let print_binding id ppf def = printf "@[<2>%a@ %a@]" print_id id expr def in |