ocaml 3.09 transition

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

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index 064a1b2e1363fedd4064d0d9b72ddaa1106a3834..1c80b4e0af8a9113d22340a400cfc7de6831a335 100644 (file)
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -1,5 +1,5 @@
 
-PACKAGE = cic_textual_parser2
+PACKAGE = cic_disambiguation
 REQUIRES = \
        helm-tactics helm-logger helm-cic_unification helm-cic_notation \
        helm-utf8_macros \