Repaired parsing of grammar property keys for Generator

nl-utwente-groove · Aug 2, 2024 · a1c0f5e · a1c0f5e
1 parent 84d3fb0
commit a1c0f5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/nl/utwente/groove/explore/Generator.java b/src/main/java/nl/utwente/groove/explore/Generator.java
@@ -484,7 +484,7 @@ protected void addToMap(Map m, String key, String value) {
             } else if (!property.get().parser().accepts(value)) {
                 this.error = String.format("Incorrect value '%s' for property '%s'", value, key);
             } else {
-                m.put(property, value);
+                m.put(property.get(), value);
             }
         }