Skip to content
Snippets Groups Projects
Commit c9c27783 authored by Katja Goltsova's avatar Katja Goltsova
Browse files

Run scalafix

parent 41cf66bc
No related branches found
No related tags found
4 merge requests!62Easy tactics,!58Easy tactics,!55Front integration and various changes,!41Clarify front tests
Hide whitespace changes
Inline Side-by-side
lisa-front/src/test/scala/lisa/front/UnificationTests.scala
+ 1
− 1
View file @ c9c27783
......@@ -4,7 +4,7 @@ import lisa.front.fol.FOL.LabelType
import lisa.front.fol.FOL.WithArityType
import lisa.front.printer.FrontPositionedPrinter
import lisa.front.printer.FrontPrintStyle
import lisa.front.{*, given}
import lisa.front.{_, given}
import org.scalatest.Ignore
import org.scalatest.funsuite.AnyFunSuite
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment