diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt
index a8652b79ea..54e2c0d406 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/XcfaCli.kt
@@ -63,6 +63,7 @@ class XcfaCli(private val args: Array<String>) {
                     listOf(
                         "--enable-output",
                         "--disable-xcfa-serialization",
+                        "--disable-arg-generation",
                         "--disable-chc-serialization",
                         "--disable-c-serialization",
                         "--only-svcomp-witness"