From 507e721b97ea0e3be19741d9f2774ee6decc72a8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 16 Feb 2012 13:31:56 +0000
Subject: [PATCH] Bug fix in just-added code for explicit model checker.

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

diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index fa50b3a0..816f476d 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -252,7 +252,7 @@ public class StateModelChecker
 			res = checkExpressionBinaryOp(model, (ExpressionBinaryOp) expr);
 		}
 		// Unary ops
-		if (expr instanceof ExpressionUnaryOp) {
+		else if (expr instanceof ExpressionUnaryOp) {
 			res = checkExpressionUnaryOp(model, (ExpressionUnaryOp) expr);
 		}
 		// Functions