Merge pull request #255 from trilitech/palmer@functori@add-michelson-…

…primitive-D_Ticket Add michelson `D_Ticket` to the formatter
trilitech · Jul 18, 2024 · ce9343f · ce9343f
2 parents c44150e + a30542f
commit ce9343f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/app/src/parser/formatting.c b/app/src/parser/formatting.c
@@ -185,6 +185,7 @@ const char *const tz_michelson_op_names_ordered[TZ_LAST_MICHELSON_OPCODE + 1]
         "TICKET",                          // 154
         "BYTES",                           // 155
         "NAT",                             // 156
+        "Ticket",                          // 157
 };
 
 const char *

diff --git a/app/src/parser/formatting.h b/app/src/parser/formatting.h
@@ -201,7 +201,10 @@ typedef enum {
     TZ_MICHELSON_OP_EMIT                           = 151,
     TZ_MICHELSON_OP_Lambda_rec                     = 152,
     TZ_MICHELSON_OP_LAMBDA_REC                     = 153,
-    TZ_MICHELSON_OP_TICKET                         = 154
+    TZ_MICHELSON_OP_TICKET                         = 154,
+    TZ_MICHELSON_OP_BYTES                          = 155,
+    TZ_MICHELSON_OP_NAT                            = 156,
+    TZ_MICHELSON_OP_Ticket                         = 157
 } tz_michelson_opcode;
 
 #define TZ_DECIMAL_BUFFER_SIZE(_l) ((((_l)*241) / 100) + 1)