From a89db49eccf29c1ace26e11c612eb9716d88a6cb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 23 Dec 2015 00:44:53 +0000
Subject: [PATCH] Bug fix for use of model generators in Prism: PTA digital
 clocks + explicit engine was broken.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11094 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index ba4f2062..25cce301 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2832,6 +2832,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 				currentModulesFile = dc.getNewModulesFile();
 				currentModulesFile.setUndefinedConstants(oldModulesFile.getConstantValues());
 				currentModelType = ModelType.MDP;
+				currentModelGenerator = new ModulesFileModelGenerator(currentModulesFile, this);
 				clearBuiltModel();
 				currentModel = null;
 				currentModelExpl = null;