Added universes handling. The PRE_UNIVERSES tag may help ;)

[helm.git] / helm / ocaml / cic / Makefile

diff --git a/helm/ocaml/cic/Makefile b/helm/ocaml/cic/Makefile
index 8fb3c7c0cfad4c7ba952cfae1eb0d36c9e424f41..176baf4537fd1938fc5acd04aaa23c4cb3868e0f 100644 (file)
--- a/helm/ocaml/cic/Makefile
+++ b/helm/ocaml/cic/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = cic
-REQUIRES = helm-urimanager helm-pxp
+REQUIRES = helm-urimanager helm-pxp helm-xml 
 PREDICATES =
 
 INTERFACE_FILES = \