From 01282b432a576c89ae096388c479268414632e4c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Wed, 15 Nov 2023 12:25:32 +0100
Subject: [PATCH] Adapt w.r.t. coq/coq#18312.

---
 serapi/serapi_protocol.ml | 2 +-
 serlib/ser_impargs.ml     | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

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]