diff --git a/prism/src/parser/ast/PropertiesFile.java b/prism/src/parser/ast/PropertiesFile.java
index 5d0a46d1..e0666363 100644
--- a/prism/src/parser/ast/PropertiesFile.java
+++ b/prism/src/parser/ast/PropertiesFile.java
@@ -89,6 +89,18 @@ public class PropertiesFile extends ASTElement
 		}
 	}
 
+	/** Get the attached ModelInfo */
+	public ModelInfo getModelInfo()
+	{
+		return modelInfo;
+	}
+
+	/** Get the attached ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		return modulesFile;
+	}
+
 	public void setFormulaList(FormulaList fl)
 	{
 		formulaList = fl;