X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationEnv.mli;fp=helm%2Focaml%2Fcic_notation%2FcicNotationEnv.mli;h=a5267b04463b8493bcdf28c72989551611feb182;hb=b19ee5bd8a25151b78eb1c78f98e6ab1f4b325ff;hp=4ba9f2487ec511bc7e2ae03b0eafe68cec3e5174;hpb=9230a8085102cd39258c047949e87001be6ffcf0;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationEnv.mli b/helm/ocaml/cic_notation/cicNotationEnv.mli
index 4ba9f2487..a5267b044 100644
--- a/helm/ocaml/cic_notation/cicNotationEnv.mli
+++ b/helm/ocaml/cic_notation/cicNotationEnv.mli
@@ -57,3 +57,7 @@ val list_binding_of_name: declaration -> binding  (* [] binding *)
 val opt_declaration:  declaration -> declaration  (* t -> OptType t *)
 val list_declaration: declaration -> declaration  (* t -> ListType t *)
 
+(** {2 Debugging} *)
+
+val set_pp_term: (CicNotationPt.term -> string) -> unit
+