runtimeverification / mx-semantics

7 stars 3 forks source link

Deprecate `klabel` attribute #298

Closed Baltoli closed 3 months ago

Baltoli commented 3 months ago

This PR is a simple mechanical change to remove the klabel, symbol attribute pair in anticipation of klabel finally being deprecated; usages are replaced with 1-argument symbol(_).