ported to CicAst

[helm.git] / helm / ocaml / cic_disambiguation / Makefile

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index a3d6297e303b8861d8459f0f11f19368a247726f..ec24a4f4d6610ae3a9ba43d471b4b06b2bd9c07c 100644 (file)
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -1,11 +1,12 @@
 
 PACKAGE = cic_textual_parser2
-REQUIRES = ulex pxp helm-tactics helm-logger helm-cic_unification camlp4.gramlib
+REQUIRES = \
+       helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
+       ulex pxp camlp4.gramlib
 NOTATIONS = logic arit tex
 INTERFACE_FILES = \
        disambiguateTypes.mli \
        disambiguateChoices.mli \
-       cicTextualParser2Pp.mli \
        macro.mli \
        cicTextualLexer2.mli \
        cicTextualParser2.mli \