X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FMakefile;h=05730df75dd5b152cbc46657ae66df3668411531;hb=6f0f31787fb03ea4956227e8fcdbc12abd366931;hp=5c60d22a8d9e20105422e657e466a1922e85b138;hpb=97790db29ad0dc3d31e61acc69894aa5e6109a9e;p=helm.git

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
index 5c60d22a8..05730df75 100644
--- a/helm/ocaml/cic_transformations/Makefile
+++ b/helm/ocaml/cic_transformations/Makefile
@@ -1,6 +1,7 @@
 PACKAGE = cic_transformations
 REQUIRES = \
-	helm-xml helm-cic_proof_checking helm-cic_omdoc gdome2-xslt
+	gdome2-xslt \
+	helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry
 PREDICATES =
 
 # modules which have both a .ml and a .mli