diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/params/XcfaConfig.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/params/XcfaConfig.kt
index 1848907594..0be7d6adad 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/params/XcfaConfig.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/params/XcfaConfig.kt
@@ -77,11 +77,11 @@ data class InputConfig(
         description = "XCFA and ParseContext (will overwrite --input and --parse-ctx when given)")
     var xcfaWCtx: Triple<XCFA, MCM, ParseContext>? = null,
 
-    @Parameter(names = ["--property-file"],
+    @Parameter(names = ["--property"],
         description = "Path of the property file (will overwrite --property when given)")
     var propertyFile: File? = null,
 
-    @Parameter(names = ["--property"], description = "Property")
+    @Parameter(names = ["--property-value"], description = "Property")
     var property: ErrorDetection = ErrorDetection.ERROR_LOCATION
 ) : Config