Fix name collision

ftsrg · Feb 25, 2025 · d5aee81 · d5aee81
1 parent 905e767
commit d5aee81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/subprojects/sts/sts-cli/src/main/java/hu/bme/mit/theta/sts/cli/StsCli.java b/subprojects/sts/sts-cli/src/main/java/hu/bme/mit/theta/sts/cli/StsCli.java
@@ -140,7 +140,7 @@ enum Algorithm {
     Boolean cegar = false;
 
     @Parameter(
-            names = {"--cegar"},
+            names = {"--liveness-to-safety"},
             description = "Use liveness to safety transformation")
     Boolean livenessToSafety = false;