Removing superfluous code.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3108 bbc10eb1-c90d-0410-af57-cb519fbb1720

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) {