X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2FMakefile.in;fp=helm%2Focaml%2FMakefile.in;h=fe18d792d1b7cc592bee8a0aaf4c161b444ecc9a;hp=0c2d4941177a12cacac17e0b24afb51f7d32da6b;hb=4829e693f115e4f6eacaa81d971e8730a4a4833a;hpb=9b62ec2029bf81a9116ce1eafcaae5c1f9c711ca

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 0c2d49411..fe18d792d 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -3,12 +3,10 @@ NULL =
 MODULES =			\
 	extlib			\
 	xml			\
-	hgdome			\
 	registry		\
  	hmysql 			\
 	utf8_macros		\
 	thread			\
-	xmldiff			\
 	urimanager		\
 	logger			\
 	getter			\