diff --git a/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java b/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
index cdf903e66e708c231425bd23a99a46bdc93b5054..012e21779354845c12c7b2d4052433afd2af138f 100644
--- a/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
+++ b/src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java
@@ -127,8 +127,13 @@ public class LTLFormulaPrinter extends DepthFirstAdapter {
 
 	@Override
 	public void caseAEnabledLtl(AEnabledLtl node) {
+		LinkedHashMap<String, Node> operations = ltlFormulaVisitor
+				.getMachineContext().getOperations();
 		tlaPrinter.moduleStringAppend("ENABLED(");
-		tlaPrinter.moduleStringAppend(node.getOperation().getText());
+		//tlaPrinter.moduleStringAppend(node.getOperation().getText()); 
+		String action1Name = node.getOperation().getText();
+		Node op1 = operations.get(action1Name);
+		tlaPrinter.printOperationCall(op1);
 		tlaPrinter.moduleStringAppend(")");
 	}