disable spurious simpcase guard

bollu · Oct 15, 2021 · 60e120b · 60e120b
1 parent 66fcfcc
commit 60e120b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Lean/Compiler/IR/SimpCase.lean b/src/Lean/Compiler/IR/SimpCase.lean
@@ -35,7 +35,7 @@ private def maxOccs (alts : Array Alt) : Alt × Nat := do
   return (maxAlt, max)
 
 private def addDefault (alts : Array Alt) : Array Alt :=
-  if alts.size <= 1 || alts.any Alt.isDefault then alts
+  if alts.size <= 1 then alts
   else
     let (max, noccs) := maxOccs alts;
     if noccs == 1 then alts