From 83bc9492d4c4a2d8d02b3b9ca8993fc08911a44e Mon Sep 17 00:00:00 2001 From: Raphael Fuchs Date: Sat, 5 May 2012 16:10:51 +0200 Subject: [PATCH] Typo in Technical Note 010: Barrelfish Specification. --- doc/010-spec/Spec.tex | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/010-spec/Spec.tex b/doc/010-spec/Spec.tex index 15231a2..fa35c6a 100644 --- a/doc/010-spec/Spec.tex +++ b/doc/010-spec/Spec.tex @@ -362,7 +362,7 @@ 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} -- 1.7.2.5