Typo in Technical Note 010: Barrelfish Specification.
[barrelfish] / doc / 010-spec / Spec.tex
index 15231a2..fa35c6a 100644 (file)
 
   It should be noted that endpoint capabilities may be freely copied, and do not
   uniquely identify a sender. An endpoint capability can be
-  transferred to several dispatchers, all of whom may use the that same
+  transferred to several dispatchers, all of whom may use the same
   endpoint and thus the same buffer when sending messages.
 
   \subsection{Message Transfer}