From 81f73d19d7a45e44137a8694bb01bb4533108f09 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 20 Aug 2015 09:54:20 +0000 Subject: [PATCH] Bugfix in new SimpleLTL-to-Expression method. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10539 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/Expression.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/parser/ast/Expression.java b/prism/src/parser/ast/Expression.java index 9c2484dd..ba8e09a1 100644 --- a/prism/src/parser/ast/Expression.java +++ b/prism/src/parser/ast/Expression.java @@ -917,13 +917,13 @@ public abstract class Expression extends ASTElement case FALSE: return Expression.False(); case FINALLY: - return new ExpressionTemporal(ExpressionTemporal.P_F, null, createFromJltl2ba(ltl.right)); + return new ExpressionTemporal(ExpressionTemporal.P_F, null, createFromJltl2ba(ltl.left)); case GLOBALLY: - return new ExpressionTemporal(ExpressionTemporal.P_G, null, createFromJltl2ba(ltl.right)); + return new ExpressionTemporal(ExpressionTemporal.P_G, null, createFromJltl2ba(ltl.left)); case IMPLIES: return Expression.Implies(createFromJltl2ba(ltl.left), createFromJltl2ba(ltl.right)); case NEXT: - return new ExpressionTemporal(ExpressionTemporal.P_X, null, createFromJltl2ba(ltl.right)); + return new ExpressionTemporal(ExpressionTemporal.P_X, null, createFromJltl2ba(ltl.left)); case NOT: return Expression.Not(createFromJltl2ba(ltl.left)); case OR: