From 845407985feddc9974cac58ba93e6743a4db95c5 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Feb 2004 14:07:21 +0000
Subject: [PATCH] CicCache ==> CicEnvironment (in testlibrary.ml)

---
 helm/gTopLevel/Makefile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 8b89d823a..b4446b8f3 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -8,13 +8,11 @@ TEST_REQUIRES = \
 	helm-cic_textual_parser \
 	helm-tex_cic_textual_parser \
 	mathml-editor \
-	lablgtkmathview \
-	helm-cic_cache
+	lablgtkmathview
 REQUIRES = \
 	$(TEST_REQUIRES) \
 	gdome2-xslt \
-	hbugs-client \
-	helm-cic_cache
+	hbugs-client
 PREDICATES = "gnome,init,glade"
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLFIND = ocamlfind
-- 
2.39.2