X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2FMakefile;h=45aa2a4982ff9cf5e517176a74bb1f5f0f1653d6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=086fadc283298011da95a103cd149f69de80abdd;hpb=33d4551ce09262e3a4d00d14e0428ee94367bf91;p=helm.git

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 086fadc28..45aa2a498 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -1,5 +1,5 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic_textual_parser \
+REQUIRES = unix helm-registry helm-cic_textual_parser \
 	   helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread