From f3e24d7997ef26bba9f9e192343da930f7e722e9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 30 Apr 2010 13:14:50 +0000
Subject: [PATCH] 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     | 3 +++
 prism/src/parser/visitor/FindAllVars.java | 1 +
 2 files changed, 4 insertions(+)

diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java
index 3048a8d6..e729183a 100644
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/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
 
diff --git a/prism/src/parser/visitor/FindAllVars.java b/prism/src/parser/visitor/FindAllVars.java
index 54064745..00af7b35 100644
--- a/prism/src/parser/visitor/FindAllVars.java
+++ b/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);