From 8c71b573edef611935725506a8db5d676e8d36b1 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 4 Feb 2005 09:29:50 +0000 Subject: [PATCH] removed dep on mathql --- helm/ocaml/cic_omdoc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \ -- 2.39.2