Skip to content
Snippets Groups Projects
Unverified Commit 70367a6e authored by Wojciech Mazur's avatar Wojciech Mazur Committed by GitHub
Browse files

Remove redundant `given Library` leading to compilation error under Scala 3.6+ (#224)

parent 712da949
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
lisa-utils/src/main/scala/lisa/prooflib/ProofsHelpers.scala
+ 0
− 2
View file @ 70367a6e
...@@ -19,8 +19,6 @@ trait ProofsHelpers { ...@@ -19,8 +19,6 @@ trait ProofsHelpers {
import lisa.fol.FOL.{given, *} import lisa.fol.FOL.{given, *}
given Library = library
class HaveSequent(val bot: Sequent) { 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 inline infix def by(using proof: library.Proof, line: sourcecode.Line, file: sourcecode.File): By { val _proof: proof.type } = By(proof, line, file).asInstanceOf
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment