Fixed unresolved reference

ftsrg · Nov 2, 2023 · 559b70b · 559b70b
1 parent ede9ca4
commit 559b70b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaToCTest.kt b/subprojects/xcfa/xcfa-cli/src/test/java/hu/bme/mit/theta/xcfa/cli/XcfaToCTest.kt
@@ -58,7 +58,7 @@ class XcfaToCTest {
             ParseContext())).build()
         val temp = createTempDirectory()
         val file = temp.resolve("${filePath.split("/").last()}.c").also { it.toFile().writeText(xcfa.toC(ParseContext(),
-            useArr, useExArr, useRange))}
+            false, false, false))}
         System.err.println(file)
     }