snapshot

[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 1ce20fe9a8f7223ed00f4a44119120155b17ff12..5112f6dbd89dcbd1d129052508bf00b4e2511a0d 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -34,5 +34,5 @@ val parse_syntax_pattern: char Stream.t -> CicNotationPt.term
 val parse_ast_pattern:    char Stream.t -> CicNotationPt.term
 
   (** interpretation: notation level 3 *)
-val parse_interpretation: char Stream.t -> unit
+val parse_interpretation: char Stream.t -> CicNotationPt.cic_appl_pattern