X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fxmldiff%2FMakefile;h=62492069ed009eefdd5633f3aeead4ee719745d1;hb=a7063fc0997a9d9eae6c329443e67ab92c4b6a0f;hp=20a49c09701a2fac99504ccccb36e812b6b89ded;hpb=46008a8be6907e23734a071a1e290ed794e0cae3;p=helm.git

diff --git a/helm/ocaml/xmldiff/Makefile b/helm/ocaml/xmldiff/Makefile
index 20a49c097..62492069e 100644
--- a/helm/ocaml/xmldiff/Makefile
+++ b/helm/ocaml/xmldiff/Makefile
@@ -1,5 +1,4 @@
 PACKAGE = xmldiff
-REQUIRES = gdome2
 PREDICATES =
 
 INTERFACE_FILES = xmlDiff.mli