From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Nov 2005 10:29:17 +0000 (+0000)
Subject: removed no longer needed dependency on pxp
X-Git-Tag: V_0_7_2_3~136
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b96b712d43bda14914a9d563712db88f24f3276a;p=helm.git

removed no longer needed dependency on pxp
---

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