Make default settings consistent in ConstructModel methods.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7382 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago · 4dc86a3dd9
1 changed files with 1 additions and 1 deletions
--- 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);
 	}

 	/**