Merge pull request #71 from goblint/exp-arg-enabled

Rename `exp.arg` → `exp.arg.enabled`
goblint · Jun 18, 2024 · f1ece37 · f1ece37
2 parents b042082 + 53ea325
commit f1ece37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/goblintserver/GoblintServer.java b/src/main/java/goblintserver/GoblintServer.java
@@ -73,7 +73,7 @@ private String[] constructGoblintRunCommand() {
                 "--set", "server.unix-socket", new File(getGoblintSocket()).getAbsolutePath()
         };
         if (configuration.enableAbstractDebugging()) {
-            command = ArrayUtils.addAll(command, "--enable", "exp.arg");
+            command = ArrayUtils.addAll(command, "--enable", "exp.arg.enabled");
         }
         return command;
     }