search

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

fix minor bug in semantics #18

Closed dwightguth closed 2 months ago

dwightguth commented 2 months ago

This PR fixes a minor issue that occurs if the hybrid attribute is declared in a module that does not declare the KResult sort.