X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2FMakefile;h=542bd2e3ab044d827f45f9c5032604dbaca80ab0;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=af2d287ae8cbf2eae890f33e5f4671a4524b3037;hpb=a21777bd2ac02fd346f168ead468405e4c300855;p=helm.git

diff --git a/helm/ocaml/hbugs/Makefile b/helm/ocaml/hbugs/Makefile
index af2d287ae..542bd2e3a 100644
--- a/helm/ocaml/hbugs/Makefile
+++ b/helm/ocaml/hbugs/Makefile
@@ -14,7 +14,7 @@
 PACKAGE = hbugs
 REQUIRES =	\
 	pcre lablgtk2.glade	\
-	helm-thread helm-xml helm-pxp helm-tactics
+	helm-thread helm-xml helm-pxp helm-tactics helm-registry
 
 IMPLEMENTATION_FILES = 			\
 	hbugs_misc.ml			\