Remove newline

Co-authored-by: João Pereira <joaopereira.19@gmail.com>
viperproject · Dec 3, 2023 · 5847f68 · 5847f68
1 parent 3c44a68
commit 5847f68
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/scala/viper/gobra/backend/ViperBackends.scala b/src/main/scala/viper/gobra/backend/ViperBackends.scala
@@ -17,7 +17,6 @@ import java.nio.file.{Files, Paths}
 import scala.io.Source
 import scala.util.Using
 
-
 trait ViperBackend {
   def create(exePaths: Vector[String], config: Config)(implicit executor: GobraExecutionContext): ViperVerifier
 }