From b96b712d43bda14914a9d563712db88f24f3276a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 4 Nov 2005 10:29:17 +0000 Subject: [PATCH] removed no longer needed dependency on pxp --- helm/ocaml/cic_proof_checking/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile index 530f42640..352a53016 100644 --- a/helm/ocaml/cic_proof_checking/Makefile +++ b/helm/ocaml/cic_proof_checking/Makefile @@ -1,6 +1,6 @@ PACKAGE = cic_proof_checking -REQUIRES = helm-cic helm-logger helm-getter helm-xml pxp +REQUIRES = helm-cic helm-logger helm-getter helm-xml PREDICATES = REDUCTION_IMPLEMENTATION = cicReductionMachine.ml -- 2.39.2