Bugfix in just committed "and" operation in explicit model checker.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3131 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 70847cecd0
1 changed files with 1 additions and 1 deletions
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@ -535,7 +535,7 @@ public class StateModelChecker
 		BitSet res1bs = (BitSet) checkExpression(model, expr.getOperand1()); 
 		BitSet res2bs = (BitSet) checkExpression(model, expr.getOperand2());
 		res1bs.and(res2bs);
-		return res2bs;
+		return res1bs;
 	}

 	/**