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

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