added tex notation

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index abfcd4da95ee11cff1c08bbdc4a01ce1c5a19c38..9652369b4d872134bd27588d5dbada175510586d 100644 (file)
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -3,7 +3,7 @@ PACKAGE = cic_textual_parser2
 REQUIRES = \
        ulex pxp helm-tactics helm-cic helm-logger helm-cic_unification \
        camlp4.gramlib
-NOTATIONS = logic arit
+NOTATIONS = logic arit tex
 INTERFACE_FILES = \
        cicTextualParser2Ast.mli \
        cicTextualParser2Pp.mli \