xoa utility updated

[helm.git] / matita / components / binaries / xoa / Makefile

diff --git a/matita/components/binaries/xoa/Makefile b/matita/components/binaries/xoa/Makefile
index dd5a763f7c302c88cf8d857824aa660d1a05725f..1933a2003b8764d7e320cada82fc72246771b25a 100644 (file)
--- a/matita/components/binaries/xoa/Makefile
+++ b/matita/components/binaries/xoa/Makefile
@@ -1,6 +1,6 @@
 EXEC = xoa
 VERSION=0.2.0
 
-REQUIRES = helm-grafite
+REQUIRES = helm-registry
 
 include ../Makefile.common