ocaml 3.09 transition

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

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index a21e59af7251a09a4c35768a88b78075a5ac7ef4..7a3dbf626cfd1ba945f8add6e28c1428998653da 100644 (file)
--- a/helm/ocaml/paramodulation/Makefile
+++ b/helm/ocaml/paramodulation/Makefile
@@ -4,7 +4,7 @@ REQUIRES = \
        helm-registry \
        helm-cic_transformations \
        helm-tactics \
-       helm-cic_textual_parser2 \
+       helm-cic_disambiguation \
        mysql
 
 INTERFACE_FILES = \