From a1c0f5e834d6006022ec5671607496a8439de8a4 Mon Sep 17 00:00:00 2001
From: rensink <arend.rensink@utwente.nl>
Date: Fri, 2 Aug 2024 14:11:21 +0200
Subject: [PATCH] Repaired parsing of grammar property keys for Generator

---
 src/main/java/nl/utwente/groove/explore/Generator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/nl/utwente/groove/explore/Generator.java b/src/main/java/nl/utwente/groove/explore/Generator.java
index c3806c8cc..043268161 100644
--- 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);
             }
         }