diff --git a/prism/src/parser/visitor/FindAllVars.java b/prism/src/parser/visitor/FindAllVars.java index 00af7b35..54064745 100644 --- a/prism/src/parser/visitor/FindAllVars.java +++ b/prism/src/parser/visitor/FindAllVars.java @@ -61,7 +61,6 @@ 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);