ModulesFile bugfix (shows up when using digital clocks).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1869 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/ModulesFile.java

@@ -408,6 +408,9 @@ public class ModulesFile extends ASTElement
 		formulaIdents.clear();
 		constantIdents.clear();
 		varIdents.clear();
+		varDecls.clear();
+		varNames.clear();
+		varTypes.clear();
 		
 		// Expansion of formulas and renaming
 

prism/src/parser/visitor/FindAllVars.java

@@ -61,6 +61,7 @@ public class FindAllVars extends ASTTraverseModify
 				throw new PrismLangException(s, e.getVarIdent(i));
 			}
 			// Store the type
+			System.out.println("Setting "+i+" of " +e+ " to "+varTypes.elementAt(j));
 			e.setType(i, varTypes.elementAt(j));
 			// And store the variable index
 			e.setVarIndex(i, j);