diff --git a/compiler/heptagon/main/heptcheck.ml b/compiler/heptagon/main/heptcheck.ml
index 5bb8541..bc1c60f 100644
--- a/compiler/heptagon/main/heptcheck.ml
+++ b/compiler/heptagon/main/heptcheck.ml
@@ -13,7 +13,7 @@ open Misc
 open Compiler_utils
 open Location
 
-let pp = Printer.print stdout
+let pp = Hept_printer.print stdout
 
 let parse_implementation lexbuf =
   parse Parser.program Lexer.token lexbuf