From 693bc4483c823cd0b33675ed70c9dbd1f36769e5 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 18 Nov 2011 15:02:47 +0000
Subject: Added a printing function to handle single evars

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14682 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/printer.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'parsing/printer.mli')

diff --git a/parsing/printer.mli b/parsing/printer.mli
index 7e08d80fc0..ff6d818072 100644
--- a/parsing/printer.mli
+++ b/parsing/printer.mli
@@ -110,6 +110,7 @@ val pr_concl               : int -> evar_map -> goal -> std_ppcmds
 
 val pr_open_subgoals       : unit -> std_ppcmds
 val pr_nth_open_subgoal    : int -> std_ppcmds
+val pr_evar                : (evar * evar_info) -> std_ppcmds
 val pr_evars_int           : int -> (evar * evar_info) list -> std_ppcmds
 
 val pr_prim_rule           : prim_rule -> std_ppcmds
-- 
cgit v1.2.3