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

@@ -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