fix code for computing least sort of KItems

I fully expect removing this nasty hack from Context.java will break things. So don't review until you see the tests pass.
Yes. Previously if you had two productions whose klabel differed only in
the initial apostrophe, both productions would be considered as being
associated with the klabel without the apostrophe. That is because of this
line of code, which is a bug.


On Thu, Jun 19, 2014 at 3:37 PM, Yilong Li <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/kil/loader/Context.java:
>
> > @@ -190,7 +190,6 @@ public void putLabel(Production p, String cons) {
> >  //            labels.put(label, s = new HashSet<String>());
> >  //        }
> >  //        s.add(cons);
> > -        putLabel(p.getLabel(), cons);
>
> Is this change related to this fix?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/635/files#r13992283>.
>