From 6b6512e2fa9b057fe3fbbc46f14c854449bf2124 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 Sep 2005 11:38:00 +0000 Subject: [PATCH] ... --- helm/ocaml/paramodulation/Makefile | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/helm/ocaml/paramodulation/Makefile b/helm/ocaml/paramodulation/Makefile index a21e59af7..1d47d3cb0 100644 --- a/helm/ocaml/paramodulation/Makefile +++ b/helm/ocaml/paramodulation/Makefile @@ -1,11 +1,6 @@ PACKAGE = paramodulation -REQUIRES = \ - helm-registry \ - helm-cic_transformations \ - helm-tactics \ - helm-cic_textual_parser2 \ - mysql +REQUIRES = helm-tactics INTERFACE_FILES = \ utils.mli \ -- 2.39.2