diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 1b2fbb4c0603b4f49913fab20f7f3d693d920b89..013d9d48069c441c37c9cbb97dd4c49b31f5e9db 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -210,7 +210,7 @@ public class BAstCreator extends BuiltInOPs
 				d.setName(new TDefLiteralPredicate(getName(opDefNode)));
 				d.setParameters(list);
 				d.setRhs(visitExprNodePredicate(opDefNode.getBody()));
-				defs.add(d);
+				defs.add(createPositionedNode(d,opDefNode));
 			} else {
 				AExpressionDefinitionDefinition d = new AExpressionDefinitionDefinition();
 				d.setName(new TIdentifierLiteral(getName(opDefNode)));
@@ -219,7 +219,7 @@ public class BAstCreator extends BuiltInOPs
 
 				d.setParameters(list);
 				d.setRhs(visitExprNodeExpression(opDefNode.getBody()));
-				defs.add(d);
+				defs.add(createPositionedNode(d,opDefNode));
 			}
 
 		}