Porting to ocaml 5

[helm.git] / matita / components / METAS / meta.helm-thread.src

diff --git a/matita/components/METAS/meta.helm-thread.src b/matita/components/METAS/meta.helm-thread.src
index 5253060d2202796a7a00843df883d605278806c2..8ee48782a4e4cfb19f44d8bb8c351cecb891573d 100644 (file)
--- 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"