From cfff8f8a32708ea0c8e72178424db0b40665fe37 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 17 Oct 2014 15:14:54 +0200
Subject: Experimental printing of the signature of open evars in Check.

---
 printing/printer.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'printing/printer.mli')

diff --git a/printing/printer.mli b/printing/printer.mli
index bac864dc6a..315bf6810d 100644
--- a/printing/printer.mli
+++ b/printing/printer.mli
@@ -133,6 +133,7 @@ val pr_open_subgoals       : ?proof:Proof.proof -> unit -> std_ppcmds
 val pr_nth_open_subgoal    : int -> std_ppcmds
 val pr_evar                : evar_map -> (evar * evar_info) -> std_ppcmds
 val pr_evars_int           : evar_map -> int -> evar_info Evar.Map.t -> std_ppcmds
+val pr_evars               : evar_map -> evar_info Evar.Map.t -> std_ppcmds
 
 val pr_prim_rule           : prim_rule -> std_ppcmds
 
-- 
cgit v1.2.3