From e3c44130c7700fcffa0cbaf6a0a15a003c209874 Mon Sep 17 00:00:00 2001
From: Thierry Martinez
Date: Thu, 7 Feb 2019 14:43:20 +0100
Subject: Add print_pure_econstr signature

print_pure_econstr was not exported (while print_pure_constr was).
---
 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 5eac3e2b9c..4d874cdd12 100644
--- a/dev/top_printers.mli
+++ b/dev/top_printers.mli
@@ -161,6 +161,7 @@ val ppobj : Libobject.obj -> unit
 val cast_kind_display : Constr.cast_kind -> string
 val constr_display : Constr.constr -> unit
 val print_pure_constr : Constr.types -> unit
+val print_pure_econstr : EConstr.types -> unit
 
 val pploc : Loc.t -> unit
 
-- 
cgit v1.2.3