Labels for some symbols

runtimeverification · Aug 10, 2023 · fe145e4 · fe145e4
1 parent e12ad8f
commit fe145e4
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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 )