From 494f61adeb04af620fbb3bb4070629685ed000a3 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 26 Aug 2016 06:49:59 +0000
Subject: [PATCH] PrismSTPGAbstractRefine: cleanup refactoring from SVN 11747

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

diff --git a/prism/src/explicit/PrismSTPGAbstractRefine.java b/prism/src/explicit/PrismSTPGAbstractRefine.java
index 7cc931f4..60533771 100644
--- 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");