That's not what I asked though. This is literally a five minute fix. So why
not do it now?
On Mar 28, 2014 12:30 PM, "Radu Mereuta" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/parser/concrete2/Grammar.java:
>
> > +    }
> > +
> > +    public Map<NonTerminal, Set<NonTerminalState>> getNonTerminalCallers() {
> > +        Map<NonTerminal, Set<NonTerminalState>> reachableNonTerminals = new HashMap<>();
> > +        Set<State> visited = new HashSet<>();
> > +        for (NonTerminal nt : startNonTerminals.values()) {
> > +            if (!reachableNonTerminals.containsKey(nt)) {
> > +                // if it is the start symbol it won't have any callers, so add it here first
> > +                reachableNonTerminals.put(nt, new HashSet<NonTerminalState>());
> > +            }
> > +            collectNTCallers(nt.entryState, visited, reachableNonTerminals);
> > +        }
> > +        return reachableNonTerminals;
> > +    }
> > +
> > +    public void addWhiteSpace() {
>
> In one of the TODOs, I explain that whitespace will be refactored and
> integrated in the state generation directly (or partially, I have to see
> how the code looks). So yes, this will change.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/318/files#r11076331>
> .
>