Small fix for recent refactoring.

8 years ago · 6d1cc7776d
1 changed files with 1 additions and 1 deletions
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/prism/src/parser/ast/ModulesFile.java
@ -1164,7 +1164,7 @@ public class ModulesFile extends ASTElement implements ModelInfo
 	public Values getInitialValues() throws PrismLangException
 	{
 		State stateInit = getDefaultInitialState();
-		return (stateInit == null) ? null : new Values(getDefaultInitialState(), this);
+		return (stateInit == null) ? null : new Values(stateInit, this);
 	}

 	/**