diff options
Diffstat (limited to 'asmcomp/compilenv.ml')
| -rw-r--r-- | asmcomp/compilenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml index 897e5403d..8896f0f01 100644 --- a/asmcomp/compilenv.ml +++ b/asmcomp/compilenv.ml @@ -142,7 +142,7 @@ let save_unit_info filename = (* Error report *) -open Format +open Formatmsg let report_error = function Not_a_unit_info filename -> |