From 6d1cc7776db8fe4208fba419134ad9e90b5d8ccc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 11 Sep 2018 14:28:01 +0100 Subject: [PATCH] Small fix for recent refactoring. --- prism/src/parser/ast/ModulesFile.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java index 88b0e339..8636361c 100644 --- 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); } /**