jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

More compile fix

Browse source
This commit is contained in:
Cédric Pasteur 2010-06-23 08:56:26 +02:00 committed by Léonard Gérard
parent c57ae52862
commit 4525f5cfd0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/main/heptcheck.ml
View file

@ -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