Small fix: slightly more efficient recursion in ExpandLabels and ExpandPropRefsAndLabels.

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

prism/src/parser/visitor/ExpandLabels.java

@@ -58,7 +58,7 @@ public class ExpandLabels extends ASTTraverseModify
 			// But also recursively expand that
 			// (nested labels not currently supported but may be one day)
 			// (don't clone it to avoid duplication of work)
-			expr = (Expression)expr.expandLabels(labelList);
+			expr = (Expression) expr.accept(this);
 			// Put in brackets so precedence is preserved
 			// (for display purposes only; in case of re-parse)
 			// Also, preserve type (this is probably being done before

prism/src/parser/visitor/ExpandPropRefsAndLabels.java

@@ -62,7 +62,7 @@ public class ExpandPropRefsAndLabels extends ASTTraverseModify
 			// But also recursively expand that
 			// (nested labels not currently supported but may be one day)
 			// (don't clone it to avoid duplication of work)
-			expr = (Expression)expr.expandLabels(labelList);
+			expr = (Expression) expr.accept(this);
 			// Put in brackets so precedence is preserved
 			// (for display purposes only; in case of re-parse)
 			// Also, preserve type (this is probably being done before
@@ -91,7 +91,7 @@ public class ExpandPropRefsAndLabels extends ASTTraverseModify
 			expr = prop.getExpression().deepCopy();
 			// But also recursively expand that
 			// (don't clone it to avoid duplication of work)
-			expr = (Expression)expr.expandPropRefsAndLabels(propertiesFile, labelList);
+			expr = (Expression) expr.accept(this);
 			// Put in brackets so precedence is preserved
 			// (for display purposes only; in case of re-parse)
 			// Also, preserve type (this is probably being done before