From 6ff4a5745f9d364372126e75e21bbacccab1e96f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 9 Jun 2009 09:54:56 +0000 Subject: [PATCH] fixed metas --- helm/software/components/METAS/meta.helm-ng_paramodulation.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/METAS/meta.helm-ng_paramodulation.src b/helm/software/components/METAS/meta.helm-ng_paramodulation.src index 5c7e62b30..ed8772dea 100644 --- a/helm/software/components/METAS/meta.helm-ng_paramodulation.src +++ b/helm/software/components/METAS/meta.helm-ng_paramodulation.src @@ -1,4 +1,4 @@ -requires="helm-cic helm-ng_kernel" +requires="helm-cic helm-ng_refiner" version="0.0.1" archive(byte)="ng_paramodulation.cma" archive(native)="ng_paramodulation.cmxa" -- 2.39.2