From 5da49aa30de4b2d24ebef99aad963eaedd20d044 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 13 Sep 2010 09:36:45 +0200 Subject: [PATCH] Re enable typing --- compiler/heptagon/main/hept_compiler.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml index bf65998..6103242 100644 --- a/compiler/heptagon/main/hept_compiler.ml +++ b/compiler/heptagon/main/hept_compiler.ml @@ -37,7 +37,7 @@ let parse_interface lexbuf = let compile_impl pp p = (* Typing *) - (*let p = pass "Typing" true Typing.program p pp in*) + let p = pass "Typing" true Typing.program p pp in let p = silent_pass "Statefullness check" true Statefull.program p in if !print_types then print_interface Format.std_formatter p;