diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index 4fb25030..cb1b123f 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -1572,4 +1572,17 @@ public class StateModelChecker extends PrismComponent
 			}
 		}
 	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		return modulesFile;
+	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public PropertiesFile getPropertiesFile()
+	{
+		return propertiesFile;
+	}
+
 }
diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index f9ac59eb..b48c2f63 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1632,6 +1632,22 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 			JDD.Deref(labels[i]);
 		}
 	}
+
+	
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		if (propertiesFile != null) {
+			return propertiesFile.getModulesFile();
+		}
+		return null;
+	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public PropertiesFile getPropertiesFile()
+	{
+		return propertiesFile;
+	}
 }
 
 // ------------------------------------------------------------------------------