X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fthread%2F.depend;h=7759190c66cdd57bcc79c0da85a571cd76faa730;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=8838cb307c993716e2930dc12021e37dfecf709f;hpb=9be60f4711fe25b98470b20c27698ccbd8c98267;p=helm.git

diff --git a/helm/ocaml/thread/.depend b/helm/ocaml/thread/.depend
index 8838cb307..7759190c6 100644
--- a/helm/ocaml/thread/.depend
+++ b/helm/ocaml/thread/.depend
@@ -1,2 +1,4 @@
 threadSafe.cmo: threadSafe.cmi 
 threadSafe.cmx: threadSafe.cmi 
+extThread.cmo: extThread.cmi 
+extThread.cmx: extThread.cmi