--- ./src/JFlex/StateSet.java.orig 2007-04-02 11:04:11.000000000 -0400
+++ ./src/JFlex/StateSet.java 2007-04-02 11:04:38.000000000 -0400
@@ -276,14 +276,14 @@
public String toString() {
- StateSetEnumerator enum = states();
+ StateSetEnumerator enumer = states();
StringBuffer result = new StringBuffer("{");
- if ( enum.hasMoreElements() ) result.append(""+enum.nextElement());
+ if ( enumer.hasMoreElements() ) result.append(""+enumer.nextElement());
- while ( enum.hasMoreElements() ) {
- int i = enum.nextElement();
+ while ( enumer.hasMoreElements() ) {
+ int i = enumer.nextElement();
result.append( ", "+i);
}