kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rule parse caching ignores changes to attributes.

bmmoore opened this issue · comments

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