From 70367a6e85eb906d7e13803a3051a2465ecbb02e Mon Sep 17 00:00:00 2001
From: Wojciech Mazur <wmazur@virtuslab.com>
Date: Mon, 22 Jul 2024 11:17:44 +0200
Subject: [PATCH] Remove redundant `given Library` leading to compilation error
under Scala 3.6+ (#224)
---
lisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala | 2 --
1 file changed, 2 deletions(-)
diff --git a/lisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala b/lisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala
index 946a16f2..ebe992a7 100644
--- a/lisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala
+++ b/lisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala
@@ -19,8 +19,6 @@ trait ProofsHelpers {
import lisa.fol.FOL.{given, *}
- given Library = library
-
class HaveSequent(val bot: Sequent) {
inline infix def by(using proof: library.Proof, line: sourcecode.Line, file: sourcecode.File): By { val _proof: proof.type } = By(proof, line, file).asInstanceOf
--
GitLab