diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml
index 045dc96..d8def9b 100644
--- a/compiler/heptagon/analysis/initialization.ml
+++ b/compiler/heptagon/analysis/initialization.ml
@@ -231,7 +231,7 @@ and apply h op e_list =
     | Etuple, _ -> assert false
     (** TODO: init of safe/unsafe nodes
         This is a tmp fix so that pre x + 1 works.*)
-    | (Eequal | Efun (Modname { qual = "Pervasives" })), e_list ->
+    | (Eequal | Efun { qual = "Pervasives" }), e_list ->
         List.fold_left (fun acc e -> itype (typing h e)) izero e_list
     | _ , e_list ->
         List.iter (fun e -> initialized_exp h e) e_list; izero
diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml
index 29bde2e..0a358a2 100644
--- a/compiler/heptagon/main/hept_compiler.ml
+++ b/compiler/heptagon/main/hept_compiler.ml
@@ -44,8 +44,8 @@ let compile_impl pp p =
   (* Causality check *)
   let p = silent_pass "Causality check" true Causality.program p in
 
-  (* Initialization check *)(*
-  let p = silent_pass "Initialization check" !init Initialization.program p in*)
+  (* Initialization check *)
+  let p = silent_pass "Initialization check" !init Initialization.program p in
 
   (* Completion of partial definitions *)
   let p = pass "Completion" true Completion.program p pp in