Remove redundant given Library leading to compilation error under S…

…cala 3.6+ (#224)
epfl-lara · Jul 22, 2024 · 70367a6 · 70367a6
1 parent 712da94
commit 70367a6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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