reestablish a vompilation crash for tests.

epfl-lara · Oct 25, 2024 · cd05987 · cd05987
1 parent 1d1cbc3
commit cd05987
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lisa-sets2/src/main/scala/lisa/automation/Substitution.scala b/lisa-sets2/src/main/scala/lisa/automation/Substitution.scala
@@ -61,8 +61,8 @@ object Substitution:
     (rule: (proof.Fact | F.Formula)): Boolean =
       rule match
         // as formula
-        case f: Expr[?] => f match
-          case === #@ l #@ r => true
+        case f: Formula @ unchecked => f match
+          case ===(l, r) => true
           case <=> #@ l #@ r => true
           case _ => false
         // as a justification