moved environmentP3 in cic_textual_parser2 and reshaped interface

[helm.git] / helm / ocaml / cic_disambiguation / parser.mli

diff --git a/helm/ocaml/cic_disambiguation/parser.mli b/helm/ocaml/cic_disambiguation/parser.mli
index 661d0c36b23605eaec66a59cc87ece4d8889e278..7f855a459e753a817e95784a3fb02e8d3aea8180 100644 (file)
--- a/helm/ocaml/cic_disambiguation/parser.mli
+++ b/helm/ocaml/cic_disambiguation/parser.mli
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+exception Parse_error of string
+
 (** {2 Parsing functions} *)
 
 val parse_term: char Stream.t -> Ast.term