CIC Textual Parser added to the repository.

[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
new file mode 100644 (file)
index 0000000..7917cbd
--- /dev/null
+++ b/helm/ocaml/cic_textual_parser/cicTextualParser0.ml
@@ -0,0 +1 @@
+exception Eof;;