Rename exp.arg -> exp.arg.enabled

Needed for goblint/analyzer#1470.
goblint · May 27, 2024 · 53ea325 · 53ea325
1 parent b042082
commit 53ea325
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;
     }