From 2dbe106c09b60690b87e31e58d505b1f4e05b57f Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 11 May 2007 17:00:58 +0000
Subject: Processor integers + Print assumption (see coqdev mailing list for
 the details).

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

(limited to 'parsing/printer.mli')

diff --git a/parsing/printer.mli b/parsing/printer.mli
index 00cf4984dc..4e09e0251b 100644
--- a/parsing/printer.mli
+++ b/parsing/printer.mli
@@ -108,6 +108,11 @@ val emacs_str              : string -> string -> string
 
 val prterm                 : constr -> std_ppcmds (* = pr_lconstr *)
 
+
+(* spiwack: A printer for sets of Environ.assumption *)
+val pr_assumptionset : env -> Environ.AssumptionSet.t -> std_ppcmds
+
+
 type printer_pr = {
  pr_subgoals            : string option -> evar_map -> goal list -> std_ppcmds;
  pr_subgoal             : int -> goal list -> std_ppcmds;
@@ -117,3 +122,4 @@ type printer_pr = {
 val set_printer_pr : printer_pr -> unit
 
 val default_printer_pr : printer_pr
+
-- 
cgit v1.2.3