diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java
index 794e2039..19010969 100644
--- a/prism/src/explicit/ConstructModel.java
+++ b/prism/src/explicit/ConstructModel.java
@@ -93,7 +93,7 @@ public class ConstructModel extends PrismComponent
 	 */
 	public Model constructModel(ModulesFile modulesFile) throws PrismException
 	{
-		return constructModel(modulesFile, false, false, true);
+		return constructModel(modulesFile, false, true);
 	}
 
 	/**