Skip to content
Snippets Groups Projects
Commit 6907abad authored by Jan Gruteser's avatar Jan Gruteser
Browse files

minor changes

made by mistake
parent 7b6fb1ef
No related branches found
No related tags found
No related merge requests found
...@@ -166,7 +166,7 @@ public class ConfigfileEvaluator { ...@@ -166,7 +166,7 @@ public class ConfigfileEvaluator {
TLAType symbolType = conGetType(symbol.lastElement()); TLAType symbolType = conGetType(symbol.lastElement());
if (constants.containsKey(symbolName)) { if (constants.containsKey(symbolName)) {
OpDeclNode c = constants.get(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 // if conValue is a model value and the name of the value is the
// same as the name of constants, then the constant declaration // same as the name of constants, then the constant declaration
// in the resulting B machine disappears // in the resulting B machine disappears
......
...@@ -71,7 +71,7 @@ public class ModuleOverrider extends BuiltInOPs { ...@@ -71,7 +71,7 @@ public class ModuleOverrider extends BuiltInOPs {
case LetInKind: { case LetInKind: {
LetInNode l = (LetInNode) n; LetInNode l = (LetInNode) n;
for (OpDefNode let : l.getLets()) { for (OpDefNode let : l.getLets()) {
visitExprOrOpArgNode(let.getBody()); visitExprNode(let.getBody());
} }
OpApplNode res = visitExprNode(l.getBody()); OpApplNode res = visitExprNode(l.getBody());
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment