Permalink
Browse files

klabel assigned to main WordStack construct.

  • Loading branch information...
denis-bogdanas committed Dec 6, 2018
1 parent 7e2e47a commit 05e9ae88566fe142b92112acc07ae3a08109408f
Showing with 1 addition and 1 deletion.
  1. +1 −1 data.md
@@ -403,7 +403,7 @@ A cons-list is used for the EVM wordstack.
```k
syntax WordStack [flatPredicate]
syntax WordStack ::= ".WordStack" | Int ":" WordStack [smtlib(ws)]
syntax WordStack ::= ".WordStack" | Int ":" WordStack [klabel(#wordStack), smtlib(ws)]
// -----------------------------------------------------
```

0 comments on commit 05e9ae8

Please sign in to comment.