diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 1bb6ce4e..d05960c7 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2850,7 +2850,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 	 */
 	public Result modelCheck(String propertyString) throws PrismException
 	{
-		PropertiesFile propertiesFile = parsePropertiesString(currentModelGenerator, propertyString);
+		PropertiesFile propertiesFile = parsePropertiesString(currentModelInfo, propertyString);
 		if (propertiesFile.getNumProperties() != 1) {
 			throw new PrismException("There should be exactly one property to check (there are " + propertiesFile.getNumProperties() + ")");
 		}