From 6ee93d72cab92b87949ab8d3b695243109f0253b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 30 Jan 2012 16:25:15 +0000 Subject: [PATCH] Slight tidy/re-arrange in PrismExplicit. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4522 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/PrismExplicit.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prism/src/explicit/PrismExplicit.java b/prism/src/explicit/PrismExplicit.java index e18fd349..8628ca38 100644 --- a/prism/src/explicit/PrismExplicit.java +++ b/prism/src/explicit/PrismExplicit.java @@ -45,8 +45,6 @@ public class PrismExplicit // Parent Prism object private PrismLog mainLog = null; private PrismSettings settings = null; - // Model checker(s) - private StateModelChecker mc = null; public PrismExplicit(PrismLog mainLog, PrismSettings settings) { @@ -199,6 +197,7 @@ public class PrismExplicit */ public Result modelCheck(Model model, ModulesFile modulesFile, PropertiesFile propertiesFile, Expression expr) throws PrismException, PrismLangException { + StateModelChecker mc = null; Result result = null; // Check that property is valid for this model type