From fe145e41abf63c30ffb94eecd7d95be2289dbfd0 Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Wed, 9 Aug 2023 01:16:59 +0300
Subject: [PATCH] Labels for some symbols

---
 elrond-node.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/elrond-node.md b/elrond-node.md
index 1a226c1a..f95731da 100644
--- a/elrond-node.md
+++ b/elrond-node.md
@@ -104,8 +104,9 @@ Storage maps byte arrays to byte arrays.
                            | "UpgradeFailed"            [klabel(UpgradeFailed), symbol]
                            | "SimulateFailed"           [klabel(SimulateFailed), symbol]
 
-    syntax VMOutput ::= ".VMOutput"
+    syntax VMOutput ::= ".VMOutput"  [klabel(.VMOutput), symbol]
                       | VMOutput( returnCode: ReturnCode , returnMessage: Bytes , out: ListBytes, logs: List )
+                        [klabel(VMOutput), symbol]
 
  // ------------------------------------------------------------------
 
@@ -130,7 +131,7 @@ Storage maps byte arrays to byte arrays.
 ### Bytes Stack
 
 ```k
-    syntax BytesStack ::= List{Bytes, ":"}
+    syntax BytesStack ::= List{Bytes, ":"}  [klabel('bytesStackList'), symbol]
  // --------------------------------------
 
     syntax BytesOp ::= #pushBytes ( Bytes )