diff --git a/src/proto_alpha/lib_protocol/script_ir_translator.ml b/src/proto_alpha/lib_protocol/script_ir_translator.ml
index 296e8975e5b32b09713cb68d9e8f3b8578e093cd..5bd4e66bf298632ec788f8c2848cce04e36c3360 100644
--- a/src/proto_alpha/lib_protocol/script_ir_translator.ml
+++ b/src/proto_alpha/lib_protocol/script_ir_translator.ml
@@ -3056,8 +3056,7 @@ and[@coq_axiom_with_reason "gadt"] parse_instr :
   in
   let log_stack ctxt loc stack_ty aft =
     match (type_logger, script_instr) with
-    | (None, _) | (Some _, (Seq (-1, _) | Int _ | String _ | Bytes _)) ->
-        Result.return_unit
+    | (None, _) | (Some _, (Int _ | String _ | Bytes _)) -> Result.return_unit
     | (Some log, (Prim _ | Seq _)) ->
         (* Unparsing for logging done in an unlimited context as this
               is used only by the client and not the protocol *)