kernel/{JsonParser,ToJson}: correctly store/read in the variable sort

runtimeverification · Aug 10, 2023 · bbecbb8 · bbecbb8
1 parent c7609c4
commit bbecbb8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/src/main/java/org/kframework/parser/json/JsonParser.java b/kernel/src/main/java/org/kframework/parser/json/JsonParser.java
@@ -396,7 +396,7 @@ private static K toK(JsonObject data) {
             case KVARIABLE:
                 Att varAtt = Att.empty();
                 if (data.containsKey("sort")) {
-                    varAtt.add(Sort.class, toSort(data.getJsonObject("sort")));
+                    varAtt = varAtt.add(Sort.class, toSort(data.getJsonObject("sort")));
                 }
                 return KVariable(data.getString("name"), varAtt);