The K tools (deprecated, see README)
Home Page:http://kframework.org
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
bmmoore opened this issue 7 years ago · comments
If you only change attributes, recompiling the semantics will ignore the changes and use the old rule attributes.