From eda5f0dcfb9b46e38422dab979cbe8596c19c428 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 17 Jun 2011 13:45:30 +0000 Subject: [PATCH] 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 | 3 --- 1 file changed, 3 deletions(-) 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) {