diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index e6e2a1e5..93223fe2 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -1611,4 +1611,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 edc576ad..c7bf505a 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1661,6 +1661,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;
+	}
 }
 
 // ------------------------------------------------------------------------------