X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fxmldiff%2FMakefile;h=62492069ed009eefdd5633f3aeead4ee719745d1;hb=abaf6d7686aa3afe2917ae428cbd796022e69d49;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