Typo in Technical Note 010: Barrelfish Specification.
authorRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Sat, 5 May 2012 14:10:51 +0000 (16:10 +0200)
committerRaphael Fuchs <raphaelfuchs@student.ethz.ch>
Sat, 5 May 2012 14:10:51 +0000 (16:10 +0200)
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}