X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2Fmeta.helm-thread.src;h=5253060d2202796a7a00843df883d605278806c2;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=43228b1bb5000ced36aa2705d15f511c9ad18a28;hpb=99ab08a9f5f1d2da9cfc6ccf86311d0ebb1fbc51;p=helm.git

diff --git a/helm/ocaml/METAS/meta.helm-thread.src b/helm/ocaml/METAS/meta.helm-thread.src
index 43228b1bb..5253060d2 100644
--- a/helm/ocaml/METAS/meta.helm-thread.src
+++ b/helm/ocaml/METAS/meta.helm-thread.src
@@ -1,5 +1,7 @@
-requires="threads"
+requires=""
 version="0.0.1"
-archive(byte)="thread.cma"
-archive(native)="thread.cmxa"
+archive(byte,mt)="thread.cma"
+archive(native,mt)="thread.cmxa"
+archive(byte)="thread_fake.cma"
+archive(native)="thread_fake.cmxa"
 linkopts=""