* New implementation of localized exceptions

[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 d614c68bca4b1dedd997677480fefe15ccf748bd..e25968bbbc4aa03cec62cda83aed3558086430e4 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -23,7 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
-exception Parse_error of Token.flocation * string
+exception Parse_error of string
 exception Level_not_found of int
 
 (** {2 Parsing functions} *)