Fix

opencompl · Nov 15, 2024 · 64977ae · 64977ae
1 parent 978c8d1
commit 64977ae
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/SSA/Projects/InstCombine/AliveHandwrittenLargeExamples.lean b/SSA/Projects/InstCombine/AliveHandwrittenLargeExamples.lean
@@ -414,7 +414,9 @@ def alive_simplifyAndOrXor2515 (w : Nat) :
   simp only [simp_llvm_wrap]
   simp_alive_ssa
   simp_alive_undef
+  simp_alive_ops
   simp_alive_case_bash
+  simp_alive_split
   alive_auto
 
 /-- info: 'AliveHandwritten.AndOrXor.alive_simplifyAndOrXor2515' depends on axioms: