From 3abde17c1117d9c413a9d4ad3e0af3d71e77fdb4 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 26 Feb 2021 18:01:28 +0100
Subject: Expose Top_printers.econstr_display

---
 dev/top_printers.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/top_printers.mli b/dev/top_printers.mli
index e8ed6c709e..b4b24d743a 100644
--- a/dev/top_printers.mli
+++ b/dev/top_printers.mli
@@ -165,6 +165,7 @@ val ppobj : Libobject.obj -> unit
 (* Some super raw printers *)
 val cast_kind_display : Constr.cast_kind -> string
 val constr_display : Constr.constr -> unit
+val econstr_display : EConstr.constr -> unit
 val print_pure_constr : Constr.types -> unit
 val print_pure_econstr : EConstr.types -> unit
 
-- 
cgit v1.2.3