]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/hbugs/Makefile
ocaml 3.09 transition
[helm.git] / helm / ocaml / hbugs / Makefile
index af2d287ae8cbf2eae890f33e5f4671a4524b3037..542bd2e3ab044d827f45f9c5032604dbaca80ab0 100644 (file)
@@ -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                   \