fixes Carbon backend

viperproject · Jan 21, 2025 · cbe16e1 · cbe16e1
1 parent 15c7092
commit cbe16e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/viper/gobra/backend/Carbon.scala b/src/main/scala/viper/gobra/backend/Carbon.scala
@@ -24,7 +24,7 @@ class Carbon(commandLineArguments: Seq[String]) extends ViperVerifier {
       val carbonApi: carbon.CarbonFrontendAPI = new CarbonFrontendAPI(reporter)
 
       val startTime = System.currentTimeMillis()
-      carbonApi.initialize(commandLineArguments ++ Seq("--ignoreFile", "dummy.sil"))
+      carbonApi.initialize(commandLineArguments)
       val result = carbonApi.verify(program)
       carbonApi.stop()