PrismSTPGAbstractRefine: cleanup refactoring from SVN 11747

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11749 bbc10eb1-c90d-0410-af57-cb519fbb1720
9 years ago · 494f61adeb
1 changed files with 0 additions and 1 deletions
--- a/prism/src/explicit/PrismSTPGAbstractRefine.java
+++ b/prism/src/explicit/PrismSTPGAbstractRefine.java
@ -116,7 +116,6 @@ public class PrismSTPGAbstractRefine extends QuantAbstractRefine
 			}
 		}

-		new StateModelChecker(null);
 		// Get initial/target (concrete) states
 		labels = StateModelChecker.loadLabelsFile(labFile);
 		initialConcrete = labels.get("init");