X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_disambiguation%2FMakefile;h=9652369b4d872134bd27588d5dbada175510586d;hb=67b9632f9a2e5331cb3c7b03908acf6392911007;hp=abfcd4da95ee11cff1c08bbdc4a01ce1c5a19c38;hpb=8004125685a99b6c0f2f95fd7f3fa09a4f5c9094;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index abfcd4da9..9652369b4 100644
--- 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 \