Bugfix: property handling in PTA model files fails (caused by inability to call tidyUp() twice in PropertiesFile).

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

prism/src/parser/ast/PropertiesFile.java

@@ -182,6 +182,10 @@ public class PropertiesFile extends ASTElement
 	
 	public void tidyUp() throws PrismLangException
 	{
+		// Clear lists that will generated by this method 
+		// (in case it has already been called previously).
+		allIdentsUsed.clear();
+		
 		// Check formula identifiers
 		checkFormulaIdents();
 		// Find all instances of formulas (i.e. locate idents which are formulas),