From fcb66475517e2e703e037eaa66218331170d764a Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Sat, 4 Jul 2020 16:16:54 -0500 Subject: [PATCH] Strip annots in PUSH type --- src/passes/14-self_michelson/self_michelson.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/passes/14-self_michelson/self_michelson.ml b/src/passes/14-self_michelson/self_michelson.ml index 8af08fb6a..ce11403a6 100644 --- 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