From 6907abad0c353a0deb13bec17d69c4358b7548a5 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 27 Dec 2024 17:39:26 +0100
Subject: [PATCH] minor changes
made by mistake
---
src/main/java/de/tla2b/config/ConfigfileEvaluator.java | 2 +-
src/main/java/de/tla2b/config/ModuleOverrider.java | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/tla2b/config/ConfigfileEvaluator.java b/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
index 22f6dbd..5112004 100644
--- a/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
+++ b/src/main/java/de/tla2b/config/ConfigfileEvaluator.java
@@ -166,7 +166,7 @@ public class ConfigfileEvaluator {
TLAType symbolType = conGetType(symbol.lastElement());
if (constants.containsKey(symbolName)) {
OpDeclNode c = constants.get(symbolName);
- constantAssignments.put(c, new TLCValueNode(symbolValue, symbolType, null));
+ constantAssignments.put(c, new TLCValueNode(symbolValue, symbolType, c.getTreeNode()));
// if conValue is a model value and the name of the value is the
// same as the name of constants, then the constant declaration
// in the resulting B machine disappears
diff --git a/src/main/java/de/tla2b/config/ModuleOverrider.java b/src/main/java/de/tla2b/config/ModuleOverrider.java
index e7e9cbe..3318f4a 100644
--- a/src/main/java/de/tla2b/config/ModuleOverrider.java
+++ b/src/main/java/de/tla2b/config/ModuleOverrider.java
@@ -71,7 +71,7 @@ public class ModuleOverrider extends BuiltInOPs {
case LetInKind: {
LetInNode l = (LetInNode) n;
for (OpDefNode let : l.getLets()) {
- visitExprOrOpArgNode(let.getBody());
+ visitExprNode(let.getBody());
}
OpApplNode res = visitExprNode(l.getBody());
--
GitLab