From b7b012fb11c2d1a86ad8ce91413caf847900febc Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 17 Feb 2020 20:32:40 +0000
Subject: [PATCH] Bugfix: ModulesFileModelGenerator always needs a parent (e.g.
 for settings).

---
 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 5f646b05..b4b7793d 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -1983,7 +1983,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 				if (currentModulesFile == null)
 					throw new PrismException("There is no currently loaded PRISM model");
 				// PRISM model exists but no generator - this will provide the error message
-				new ModulesFileModelGenerator(currentModulesFile);
+				new ModulesFileModelGenerator(currentModulesFile, this);
 				// Shouldn't happen, so generic error message
 				throw new PrismException("No model generator was created");
 			case MODEL_GENERATOR: