CicCache ==> CicEnvironment (in testlibrary.ml)

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 8b89d823a18cd92a894456d40d1d7977ea9e8ffd..b4446b8f35d5ae64e36625a88828c5f5064a4acc 100644 (file)
--- 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