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");