From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Feb 2005 09:29:50 +0000 (+0000)
Subject: removed dep on mathql
X-Git-Tag: V_0_1_0~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8c71b573edef611935725506a8db5d676e8d36b1;p=helm.git

removed dep on mathql
---

diff --git a/helm/ocaml/cic_omdoc/Makefile b/helm/ocaml/cic_omdoc/Makefile
index affeb76d4..33f1b3f07 100644
--- a/helm/ocaml/cic_omdoc/Makefile
+++ b/helm/ocaml/cic_omdoc/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = cic_omdoc
-REQUIRES = helm-cic_proof_checking helm-mathql_interpreter
+REQUIRES = helm-cic_proof_checking
 PREDICATES =
 
 INTERFACE_FILES =  eta_fixing.mli doubleTypeInference.mli cic2acic.mli \