adapts GobraServer to latest changes in Gobra

viperproject · Jan 26, 2025 · 51be8d3 · 51be8d3
1 parent 83de702
commit 51be8d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/server/src/main/scala/viper/gobraserver/Helper.scala b/server/src/main/scala/viper/gobraserver/Helper.scala
@@ -90,7 +90,7 @@ object Helper {
       moduleName = config.gobraSettings.moduleName,
       includeDirs = config.gobraSettings.includeDirs.map(Paths.get(_)).toVector,
       reporter = reporter,
-      backend = backend,
+      backend = Some(backend),
       isolate = convertedIsolationData,
       z3Exe = Some(config.z3Executable),
       boogieExe = Some(config.boogieExecutable),