From e346202ca0764d661012e0927321a9a0b85b926b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 16 Sep 2024 13:39:03 +0200
Subject: [PATCH] add comment

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 src/main/java/de/tla2bAst/BAstCreator.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index f1edcd5..1b2fbb4 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -214,6 +214,8 @@ public class BAstCreator extends BuiltInOPs
 			} else {
 				AExpressionDefinitionDefinition d = new AExpressionDefinitionDefinition();
 				d.setName(new TIdentifierLiteral(getName(opDefNode)));
+				// System.out.println("Creating Expression DEFINITION " + getName(opDefNode));
+				// TODO: these definitions have no position info in the definition_decl term nor at the top-level body
 
 				d.setParameters(list);
 				d.setRhs(visitExprNodeExpression(opDefNode.getBody()));
-- 
GitLab