X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fthread%2FthreadSafe.mli;h=78166abccda74fd31dde70131eb2f496b5b57f1e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0023c89e6775778dbf2d6283d5c73c33f0bade37;hpb=9be60f4711fe25b98470b20c27698ccbd8c98267;p=helm.git

diff --git a/helm/ocaml/thread/threadSafe.mli b/helm/ocaml/thread/threadSafe.mli
index 0023c89e6..78166abcc 100644
--- a/helm/ocaml/thread/threadSafe.mli
+++ b/helm/ocaml/thread/threadSafe.mli
@@ -30,15 +30,15 @@ class threadSafe:
   object
 
       (** execute 'action' in mutual exclusion between all other threads *)
-    method private doCritical: 'a lazy_t -> 'a
+    method private doCritical: 'a. 'a lazy_t -> 'a
 
       (** execute 'action' acting as a 'reader' i.e.: multiple readers can act
       at the same time but no writer can act until no readers are acting *)
-    method private doReader: 'a lazy_t -> 'a
+    method private doReader: 'a. 'a lazy_t -> 'a
 
       (** execute 'action' acting as a 'writer' i.e.: when a writer is acting,
       no readers or writer can act, beware that writers can starve *)
-    method private doWriter: 'a lazy_t -> 'a
+    method private doWriter: 'a. 'a lazy_t -> 'a
 
   end