diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index d6e0d0ab..25fecefd 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -1732,9 +1732,6 @@ public class Prism implements PrismSettingsListener
 		// rows format does not apply to states output
 		if (exportType == EXPORT_ROWS) exportType = EXPORT_PLAIN;
 		
-		// create new model checker object
-		mc = new StochModelChecker(this, model, null);
-		
 		l = System.currentTimeMillis();
 
 		if (model.getModelType() == ModelType.DTMC) {