diff --git a/juno_frontend/src/lib.rs b/juno_frontend/src/lib.rs
index c3dc262afc9996f4c7a623943f3f038db2b79643..d4263fe8d93c0dbc7355b50956680fff3b588dc0 100644
--- a/juno_frontend/src/lib.rs
+++ b/juno_frontend/src/lib.rs
@@ -157,7 +157,7 @@ pub fn compile_ir(
         pm.add_pass(hercules_opt::pass::Pass::Xdot(true));
     }
     // TEMPORARY
-    //add_pass!(pm, verify, Inline);
+    add_pass!(pm, verify, Inline);
     add_pass!(pm, verify, CCP);
     add_pass!(pm, verify, DCE);
     add_pass!(pm, verify, GVN);