fixes a compiler error caused by recent error reporting improvements

koflin · Jul 3, 2023 · fc634a4 · fc634a4
1 parent d64f56a
commit fc634a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/scala/viper/gobra/DetailedBenchmarkTests.scala b/src/test/scala/viper/gobra/DetailedBenchmarkTests.scala
@@ -142,7 +142,7 @@ class DetailedBenchmarkTests extends BenchmarkTests {
       val c = config.get
       assert(c.packageInfoInputMap.size == 1)
       val pkgInfo = c.packageInfoInputMap.keys.head
-      Right(Translator.translate(program, pkgInfo)(c))
+      Translator.translate(program, pkgInfo)(c)
     })
 
     private val verifying = NextStep("Viper verification", encoding, (viperTask: BackendVerifier.Task) => {