From cd05987a178736a330979bd56cc2b8c097dfb7b5 Mon Sep 17 00:00:00 2001
From: SimonGuilloud <sim-guilloud@bluewin.ch>
Date: Fri, 25 Oct 2024 12:21:05 +0200
Subject: [PATCH] reestablish a vompilation crash for tests.

---
 lisa-sets2/src/main/scala/lisa/automation/Substitution.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lisa-sets2/src/main/scala/lisa/automation/Substitution.scala b/lisa-sets2/src/main/scala/lisa/automation/Substitution.scala
index 3a9bb59c..fa28cbed 100644
--- 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