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;