summaryrefslogtreecommitdiffstats
path: root/asmcomp/codegen.ml
diff options
context:
space:
mode:
Diffstat (limited to 'asmcomp/codegen.ml')
-rw-r--r--asmcomp/codegen.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/codegen.ml b/asmcomp/codegen.ml
index 24dc2517a..8cd4f91b8 100644
--- a/asmcomp/codegen.ml
+++ b/asmcomp/codegen.ml
@@ -13,7 +13,7 @@
(* From C-- to assembly code *)
-open Format
+open Formatmsg
open Cmm
let dump_cmm = ref false