Remove quotes for bytesStackList (#130)

* Fix typo for bytesStackList * tmp
runtimeverification · Aug 24, 2023 · abfeb41 · abfeb41
1 parent 9d4f88b
commit abfeb41
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/elrond-node.md b/elrond-node.md
@@ -131,7 +131,7 @@ Storage maps byte arrays to byte arrays.
 ### Bytes Stack
 
 ```k
-    syntax BytesStack ::= List{Bytes, ":"}  [klabel('bytesStackList'), symbol]
+    syntax BytesStack ::= List{Bytes, ":"}  [klabel(bytesStackList), symbol]
  // --------------------------------------
 
     syntax BytesOp ::= #pushBytes ( Bytes )