X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPp.mli;h=2fb05c51b6832baeaec3391ba9215366f4aad912;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=ca22765f8713fc427aecf2c9b636b9d16151bc66;hpb=e9cfecee7dd7cf8388512ffd4aa223782c728eda;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPp.mli b/helm/ocaml/cic_notation/cicNotationPp.mli
index ca22765f8..2fb05c51b 100644
--- a/helm/ocaml/cic_notation/cicNotationPp.mli
+++ b/helm/ocaml/cic_notation/cicNotationPp.mli
@@ -29,3 +29,6 @@ val pp_env: CicNotationEnv.t -> string
 val pp_value: CicNotationEnv.value -> string
 val pp_value_type: CicNotationEnv.value_type -> string
 
+val pp_pos: CicNotationPt.child_pos -> string
+val pp_attribute: CicNotationPt.term_attribute -> string
+