fixed minor bug

src/main/java/de/tlc4b/ltl/LTLFormulaPrinter.java

@@ -188,7 +188,7 @@ public class LTLFormulaPrinter extends DepthFirstAdapter {
 				}
 				tlaPrinter.moduleStringAppend("\\neg(ENABLED(");
 				tlaPrinter.moduleStringAppend(action1.getOperation().getText());
-				tlaPrinter.moduleStringAppend("), ENABLED(");
+				tlaPrinter.moduleStringAppend(") /\\ ENABLED(");
 				AOpActions action2 = (AOpActions) copy.get(j);
 				tlaPrinter.moduleStringAppend(action2.getOperation().getText());
 				tlaPrinter.moduleStringAppend("))");

src/test/java/de/tlc4b/ltl/LtlFormulaTest.java

@@ -182,7 +182,7 @@ public class LtlFormulaTest {
 		String machine = "MACHINE test\n"
 				+ "OPERATIONS foo = skip; bar = skip; bazz = skip\n"
 				+ "END";
-	    String expected = "\\neg(ENABLED(foo),ENABLED(bar))/\\ \\neg(ENABLED(foo),ENABLED(bazz))/\\ \\neg(ENABLED(bar),ENABLED(bazz))";
+	    String expected = "\\neg(ENABLED(foo) /\\ ENABLED(bar)) /\\ \\neg(ENABLED(foo)  /\\ ENABLED(bazz)) /\\ \\neg(ENABLED(bar) /\\ ENABLED(bazz))";
 		compareLTLFormula(expected, machine, "deterministic(foo,bar,bazz)");
 	}