From 934e3f24e065e92cf6def2f0c6bf5e359c172e7c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 22 Dec 2015 12:20:26 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 66556888..6c357ca0 100644 --- a/prism/src/prism/Prism.java +++ b/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)