Re-enabled inlining

b44f450c · Aaron Councilman · 6013f479 · b44f450c
Commit b44f450c authored 4 months ago by Aaron Councilman
--- 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);