Skip to content

Commit

Permalink
remove deprecated comment
Browse files Browse the repository at this point in the history
  • Loading branch information
@sskeirik
sskeirik committed Dec 16, 2024
1 parent d1b62b2 commit b0b8423
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions pykwasm/src/pykwasm/kdist/wasm-semantics/ulm-wasm.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -158,9 +158,6 @@ ULM Hook Behavior

These rules define various integration points between the ULM and our Wasm interpreter.

**Note**: the first three rules hooks below are written with helper functions
because parse errors were encountered when writing `<generatedTopCell>` literals.

```k
rule getGasLeft(
Expand Down

0 comments on commit b0b8423

Please sign in to comment.