From 51191706bb0cbabc7745e22016c02e1c362c2342 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 11 Jul 2014 09:35:06 +0000 Subject: [PATCH] Minor refactor (aligning with something in a branch). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8803 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/ConstructModel.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java index 5017f960..4cc2487c 100644 --- a/prism/src/explicit/ConstructModel.java +++ b/prism/src/explicit/ConstructModel.java @@ -138,6 +138,9 @@ public class ConstructModel extends PrismComponent int i, j, nc, nt, src, dest; long timer; + // Get model info + modelType = modulesFile.getModelType(); + // Display a warning if there are unbounded vars VarList varList = modulesFile.createVarList(); if (varList.containsUnboundedVariables()) @@ -151,7 +154,6 @@ public class ConstructModel extends PrismComponent timer = System.currentTimeMillis(); // Initialise simulator for this model - modelType = modulesFile.getModelType(); engine.createNewOnTheFlyPath(modulesFile); // Create model storage