snapshot (first version in which some extensions work, e.g. infix +)

[helm.git] / helm / ocaml / cic_notation / cicNotationParser.mli

diff --git a/helm/ocaml/cic_notation/cicNotationParser.mli b/helm/ocaml/cic_notation/cicNotationParser.mli
index 1dd81ef9fa4a19298c74ae37c013fc49f1af5e75..32ba0a318acff4c93b0692cd7cecc598149ac6df 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -54,6 +54,8 @@ val delete: rule_id -> unit
 
 (** {2 Debugging} *)
 
+val pp_env: env_type -> string
+
   (** print "level2_pattern" entry on stdout, flushing afterwards *)
-val print_level2_pattern: unit -> unit
+val print_l2_pattern: unit -> unit