Strip annots in PUSH type

2020-07-04 16:16:54 -05:00 · 2020-07-04 16:16:54 -05:00 · fcb6647551
commit fcb6647551
parent 0b0de1ea59
1 changed files with 1 additions and 0 deletions
--- a/src/passes/14-self_michelson/self_michelson.ml
+++ b/src/passes/14-self_michelson/self_michelson.ml
@ -431,6 +431,7 @@ let prim_type_args : prim -> int option = function
  | I_EMPTY_MAP -> Some 2
  | I_EMPTY_BIG_MAP -> Some 2
  | I_LAMBDA -> Some 2
+  | I_PUSH -> Some 1
  (* _not_ I_CONTRACT! annot is important there *)
  (* but could include I_SELF, maybe? *)
  | _ -> None