kframework/k-legacy

Rule parse caching ignores changes to attributes.

bmmoore opened this issue · 0 comments

bmmoore commented

If you only change attributes, recompiling the semantics will ignore the changes and use the old rule attributes.