adapt to changed grammar

lip6 · Jul 3, 2024 · cbe1f3d · cbe1f3d
1 parent 0228563
commit cbe1f3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mist/fr.lip6.mist/src/fr/lip6/mist/io/properties/PropertiesImporter.java b/mist/fr.lip6.mist/src/fr/lip6/mist/io/properties/PropertiesImporter.java
@@ -359,7 +359,7 @@ public Expression visitLtlNext(LtlNextContext ctx) {
 		@Override
 		public Expression visitLtlFutGen(LtlFutGenContext ctx) {
 			if (ctx.op == null) {
-				return ctx.left.accept(this);
+				return super.visitLtlFutGen(ctx);
 			} else {
 				Op op = readOp(ctx.op.getText());
 				return Expression.nop(op, ctx.left.accept(this));