Fix typo for bytesStackList

runtimeverification · Aug 23, 2023 · 261b958 · 261b958
1 parent 304113e
commit 261b958
Showing 1 changed file with 1 addition and 1 deletion.
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 )