X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2FMakefile.in;h=a59228b34bbaa96eddcda88c80a781c3f43d43d2;hb=108f7ef287b08d4d7228790d7c6d956434f16c6c;hp=0fd0bd9342cf27d3021876230bb44372d9acca85;hpb=c4b196a405567468211528b891a69699945aaab6;p=helm.git

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 0fd0bd934..a59228b34 100644
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -1,6 +1,7 @@
 # Warning: the modules must be in compilation order
 NULL =
 MODULES =			\
+	extlib			\
 	xml			\
 	registry		\
 	utf8_macros		\