From e78ff37eb02fcb376621f2e21fdd4fa2370525e6 Mon Sep 17 00:00:00 2001
From: SimonGuilloud <sim-guilloud@bluewin.ch>
Date: Mon, 3 Oct 2022 23:37:38 +0200
Subject: [PATCH] Trying to satisfy the CI, 8.
---
.../src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala b/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala
index 3208b7b2..49624d35 100644
--- a/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala
+++ b/lisa-theories/src/main/scala/lisa/settheory/SetTheoryTGAxioms.scala
@@ -1,7 +1,7 @@
package lisa.settheory
import lisa.kernel.fol.FOL.*
-import lisa.utils.Helpers.{_{_, given}
+import lisa.utils.Helpers.{_, given}
/**
* Axioms for the Tarski-Grothendieck theory (TG)
--
GitLab