]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/doc/source/pthreads.dox
update
[l4.git] / l4 / doc / source / pthreads.dox
index d445e825bc686d57372f3f3286c92f21383c343d..edf1b7d05c1a182e9827ee43516a2be171ac24b2 100644 (file)
@@ -19,7 +19,7 @@ The L4Re specific parts will be described herein.
   </li>
   <li>Return the local thread capability of a pthread thread:
 
-  Use \c pthread_getl4cap(pthread_t *t) to get the capability index of
+  Use \c pthread_getl4cap(pthread_t t) to get the capability index of
   the pthread t.
 
   For example: