From 4525f5cfd01967d937a82db5cb0d1df46a3a58c3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Wed, 23 Jun 2010 08:56:26 +0200 Subject: [PATCH] More compile fix --- compiler/heptagon/main/heptcheck.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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