From fc634a43a0a5be2d3633624c74cd81f1aacaa256 Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Mon, 3 Jul 2023 12:19:32 +0200
Subject: [PATCH] fixes a compiler error caused by recent error reporting
 improvements

---
 src/test/scala/viper/gobra/DetailedBenchmarkTests.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/scala/viper/gobra/DetailedBenchmarkTests.scala b/src/test/scala/viper/gobra/DetailedBenchmarkTests.scala
index 1e2ea620f..09c9cdb6b 100644
--- 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) => {