From acb3a9e220dab93e9b095b13c48eb064abdb60ae Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 5 Mar 2010 11:41:05 +0000 Subject: [PATCH] Bugfix in switch to PRISM-AR. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1790 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/PrismSTPGAbstractRefine.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/PrismSTPGAbstractRefine.java b/prism/src/explicit/PrismSTPGAbstractRefine.java index d8e96c60..5311729e 100644 --- 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; }