X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2FMETAS%2Fmeta.helm-thread.src;h=8ee48782a4e4cfb19f44d8bb8c351cecb891573d;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=5253060d2202796a7a00843df883d605278806c2;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git

diff --git a/matita/components/METAS/meta.helm-thread.src b/matita/components/METAS/meta.helm-thread.src
index 5253060d2..8ee48782a 100644
--- a/matita/components/METAS/meta.helm-thread.src
+++ b/matita/components/METAS/meta.helm-thread.src
@@ -1,4 +1,4 @@
-requires=""
+requires="str unix"
 version="0.0.1"
 archive(byte,mt)="thread.cma"
 archive(native,mt)="thread.cmxa"