The two lexers now raise CicTextualParser0.LexerFailure instead of

[helm.git] / helm / ocaml / cic_textual_parser / cicTextualParser0.ml

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
index e75f61bd78212f2e97b4b61adeb380f0a9c9cf25..7a53057e24729653669fd68f4de98820bc683ac2 100644 (file)
--- a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
+++ b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
@@ -24,6 +24,7 @@
  *)
 
 exception Eof;;
+exception LexerFailure of string;;
 
 type uri =
    ConUri of UriManager.uri