removed dependency on gdome2-xslt

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index cde994c7bf38bd9509c8d9c725d4ef9a0d9b1c9e..0dda80d4e8125d865b4866c64187a4eef06afd9d 100644 (file)
--- a/helm/ocaml/cic_transformations/Makefile
+++ b/helm/ocaml/cic_transformations/Makefile
@@ -1,6 +1,6 @@
 PACKAGE = cic_transformations
 REQUIRES = \
-       gdome2-xslt \
+       gdome2 \
        helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry \
        helm-utf8_macros
 PREDICATES =