diff --git a/lakefile.toml b/lakefile.toml
index de666d4637..aa78b98bb2 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -1,5 +1,5 @@
 name = "SSA"
-# precompileModules = true # Ensure that reflective code that uses native_decide runs compiled code, not in the ir_interpreter.
+precompileModules = true # Ensure that reflective code that uses native_decide runs compiled code, not in the ir_interpreter.
 defaultTargets = ["SSA"]
 
 [[require]]
@@ -24,10 +24,6 @@ name = "SSA"
 name = "AliveExamples"
 roots = ["SSA.Projects.InstCombine.AliveAutoGenerated"]
 
-[[lean_lib]]
-name = "AliveStatements"
-roots = ["SSA.Projects.InstCombine.AliveStatements"]
-
 [[lean_lib]]
 name = "AliveScaling"
 roots = ["SSA.Projects.InstCombine.ScalingTest"]