X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_transformations%2FMakefile;h=0dda80d4e8125d865b4866c64187a4eef06afd9d;hb=08791e80816548121e81e04d3ead8c9a5171d033;hp=cde994c7bf38bd9509c8d9c725d4ef9a0d9b1c9e;hpb=3b4c8315cd31b9ce3677335ccd7092aa4b87bc24;p=helm.git

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index cde994c7b..0dda80d4e 100644
--- 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 =