X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2FcicTextualParser0.ml;h=7a53057e24729653669fd68f4de98820bc683ac2;hb=87218276a42635aad90a91757d431a9cb61983a4;hp=e75f61bd78212f2e97b4b61adeb380f0a9c9cf25;hpb=a537ad12d57d10498d9b572290f6050dece06b0a;p=helm.git

diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser0.ml b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
index e75f61bd7..7a53057e2 100644
--- 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