Bugfix in switch to PRISM-AR.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1790 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · acb3a9e220
1 changed files with 1 additions and 1 deletions
--- a/prism/src/explicit/PrismSTPGAbstractRefine.java
+++ b/prism/src/explicit/PrismSTPGAbstractRefine.java
@ -482,7 +482,7 @@ public class PrismSTPGAbstractRefine extends STPGAbstractRefine
 					} else if (sw.equals("exactcheck")) {
 						abstractRefine.exact = true;
 						abstractRefine.exactCheck = true;
-					} else if (sw.equals("rebuild=immed")) {
+					} else if (sw.equals("rebuild") && sOpt.equals("immed")) {
 						abstractRefine.rebuildImmed = true;
 					}