X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2FMakefile;h=7a3dbf626cfd1ba945f8add6e28c1428998653da;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a21e59af7251a09a4c35768a88b78075a5ac7ef4;hpb=61380673d7cff22e19041260cbba4a9cbf5c09c5;p=helm.git

diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile
index a21e59af7..7a3dbf626 100644
--- 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 = \