search

dapphub / klab

K framework proof explorer & smart contract specification format
GNU Affero General Public License v3.0
124 stars 36 forks source link

rules.k.tmpl: fix typo in keccakIntList #394

Closed asymmetric closed 4 years ago

asymmetric commented 4 years ago

Showed up as one of the warnings of undefined var on RHS.