Skip to content
Snippets Groups Projects
Commit 66def5c0 authored by William Schultz's avatar William Schultz Committed by Markus Alexander Kuppe
Browse files

Remove unneeded method from TLCStateMutSource class

parent b0d08a44
No related branches found
No related tags found
No related merge requests found
......@@ -12,7 +12,6 @@ import java.io.Serializable;
import java.util.Comparator;
import java.util.Set;
import java.util.TreeSet;
import java.util.HashMap;
import tla2sany.semantic.OpDeclNode;
import tla2sany.semantic.SemanticNode;
......@@ -341,14 +340,4 @@ implements Cloneable, Serializable {
return result.toString();
}
public HashMap<UniqueString, Value> getVals() {
HashMap<UniqueString, Value> valMap = new HashMap<UniqueString, Value>();
for(int i=0;i<vars.length;i++) {
UniqueString key = vars[i].getName();
Value val = this.lookup(key);
valMap.put(key, val);
}
return valMap;
}
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment