From 052f0e88615ebcd5962d33a254a9163f82e0aa7d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 4 Dec 2014 12:23:21 +0000
Subject: [PATCH] Bug fix in simplification of implication (affects explicit
 engine) (from Philipp Chrszon).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9374 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/visitor/Simplify.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/visitor/Simplify.java b/prism/src/parser/visitor/Simplify.java
index 9814acc6..e4c91398 100644
--- a/prism/src/parser/visitor/Simplify.java
+++ b/prism/src/parser/visitor/Simplify.java
@@ -50,7 +50,7 @@ public class Simplify extends ASTTraverseModify
 			if (Expression.isFalse(e.getOperand1()) || Expression.isTrue(e.getOperand2()))
 				return Expression.True();
 			if (Expression.isFalse(e.getOperand2()))
-				return e.getOperand1();
+				return Expression.Not(e.getOperand1());
 			if (Expression.isTrue(e.getOperand1()))
 				return e.getOperand2();
 			break;