From 261b9588d723670b6faf6c12d315bdf388ef74e6 Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Thu, 24 Aug 2023 01:38:12 +0300
Subject: [PATCH] Fix typo for bytesStackList

---
 elrond-node.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/elrond-node.md b/elrond-node.md
index f95731da..e4710aae 100644
--- 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 )