We never claimed they were done.  What is the point of comments like these?

On 04/03/2014 05:43 PM, dwightguth wrote:
> In src/javasources/KTool/src/org/kframework/parser/concrete2/Parser.java:
>
>> +
>> +            if (stateEnd != key.stateEnd) return false;
>> +            if (!stateCall.equals(key.stateCall)) return false;
>> +
>> +            return true;
>> +        }
>> +
>> +        @Override
>> +        public int hashCode() {
>> +            int result = stateCall.key.hashCode();
>> +            result = 31 * result + stateEnd;
>> +            return result;
>> +        }
>> +    }
>> +
>> +    final Key key;
>
> not done
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/318/files#r11276601>.
>