From af7a64123fd605544dca4037e7eebd5de11f003e Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Sun, 17 Jun 2018 03:01:12 +0200 Subject: [PATCH] Michelson: minor error message fix in typechecker --- src/proto_alpha/lib_protocol/src/script_ir_translator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml index 1c779c94b..7b671a342 100644 --- a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml +++ b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml @@ -2497,7 +2497,7 @@ and parse_instr | I_BLAKE2B | I_SHA256 | I_SHA512 | I_DIP | I_IF_NONE | I_LEFT | I_RIGHT | I_IF_LEFT | I_IF | I_LOOP | I_IF_CONS | I_IMPLICIT_ACCOUNT - | I_NEG | I_ABS | I_INT | I_NOT + | I_NEG | I_ABS | I_INT | I_NOT | I_HASH_KEY | I_EQ | I_NEQ | I_LT | I_GT | I_LE | I_GE as name), _, _), stack -> fail (Bad_stack (loc, name, 1, stack))