diff --git a/serapi/serapi_protocol.ml b/serapi/serapi_protocol.ml
index 75d4fdd8..c75671d0 100644
--- a/serapi/serapi_protocol.ml
+++ b/serapi/serapi_protocol.ml
@@ -180,7 +180,7 @@ let _pp_explicitation = let open Constrexpr in function
 
 let pp_implicit : Impargs.implicit_status -> Pp.t = function
   | None              -> Pp.str "!"
-  | Some (_expl, _, _) -> Pp.str "!" (* pp_explicitation expl *)
+  | Some _ -> Pp.str "!" (* pp_explicitation expl *)
 
 (*
 let pp_richpp xml =
diff --git a/serlib/ser_impargs.ml b/serlib/ser_impargs.ml
index ef6d99db..5ce35eb4 100644
--- a/serlib/ser_impargs.ml
+++ b/serlib/ser_impargs.ml
@@ -50,6 +50,10 @@ type implicit_position =
   [%import: Impargs.implicit_position]
   [@@deriving sexp]
 
+type implicit_status_info =
+  [%import: Impargs.implicit_status_info]
+  [@@deriving sexp]
+
 type implicit_status =
   [%import: Impargs.implicit_status]
   [@@deriving sexp]