Bug fix in new ModelGenerator usage: breaks on existence of system...endsystem.

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

prism/src/prism/Prism.java

@@ -1653,7 +1653,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		// Store PRISM model
 		currentModulesFile = modulesFile;
 		// Create a model generator for the PRISM model if appropriate - we will use that where possible
-		if (currentModulesFile.getModelType() != ModelType.PTA) {
+		if (currentModulesFile.getModelType() != ModelType.PTA && currentModulesFile.getSystemDefn() == null) {
 			currentModelGenerator = new ModulesFileModelGenerator(currentModulesFile, this);
 		}
 		// Clear any existing built model(s)