From e2074832dfa5cb827d9c1660256a8db8ce92befe Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 22 Dec 2015 23:18:32 +0000
Subject: [PATCH] Switch from ModuleFile to ModelInfo in Values object.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11089 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/Values.java | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/prism/src/parser/Values.java b/prism/src/parser/Values.java
index 89c25922..1d4593ae 100644
--- a/prism/src/parser/Values.java
+++ b/prism/src/parser/Values.java
@@ -31,11 +31,11 @@ import java.text.NumberFormat;
 import java.util.ArrayList;
 import java.util.Locale;
 
-import parser.ast.ModulesFile;
 import parser.type.Type;
 import parser.type.TypeBool;
 import parser.type.TypeDouble;
 import parser.type.TypeInt;
+import prism.ModelInfo;
 import prism.PrismLangException;
 
 /**
@@ -80,17 +80,17 @@ public class Values //implements Comparable
 	
 	/**
 	 * Construct a new Values object by copying existing State object.
-	 * Need access to a ModulesFile for variable names.
+	 * Need access to model info for variable names.
 	 * @param s State object to copy.
-	 * @param mf Corresponding ModulesFile (for variable info/ordering)
+	 * @param modelInfo Corresponding modelInfo (for variable info/ordering)
 	 */
-	public Values(State s, ModulesFile mf)
+	public Values(State s, ModelInfo modelInfo)
 	{
 		this();
 		int i, n;
 		n = s.varValues.length;
 		for (i = 0; i < n; i++) {
-			addValue(mf.getVarName(i), s.varValues[i]);
+			addValue(modelInfo.getVarName(i), s.varValues[i]);
 		}
 	}