From 6b11bf53c4461cd4f5778f9e6a89e630f76d8e1b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 30 Apr 2010 12:55:38 +0000
Subject: [PATCH] ModulesFile bugfix (shows up when using digital clocks).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1868 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/ModulesFile.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/parser/ast/ModulesFile.java b/prism/src/parser/ast/ModulesFile.java
index caf589a2..3048a8d6 100644
--- a/prism/src/parser/ast/ModulesFile.java
+++ b/prism/src/parser/ast/ModulesFile.java
@@ -403,6 +403,12 @@ public class ModulesFile extends ASTElement
 	 */
 	public void tidyUp() throws PrismLangException
 	{
+		// Clear lists that will generated by this method 
+		// (in case it has already been called previously).
+		formulaIdents.clear();
+		constantIdents.clear();
+		varIdents.clear();
+		
 		// Expansion of formulas and renaming
 
 		// Check formula identifiers