Set default union domain to map.

goblint · Nov 29, 2023 · 19ca906 · 19ca906
1 parent 5a8ae91
commit 19ca906
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/common/util/options.schema.json b/src/common/util/options.schema.json
@@ -757,7 +757,7 @@
                     "The domain that should be used for unions. Options: simple/map",
                   "type": "string",
                   "enum": ["simple", "map"],
-                  "default": "simple"
+                  "default": "map"
                 }
               },
               "additionalProperties": false