From 4e2d71aa0209f18aeed6f4e7c5fcff023562f657 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Date: Tue, 17 Feb 2015 13:34:57 +1100
Subject: [PATCH] manual: Fix spelling of init domain cap slot constant.

---
 manual/parts/bootup.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/parts/bootup.tex b/manual/parts/bootup.tex
index 853f53244..697108be0 100644
--- a/manual/parts/bootup.tex
+++ b/manual/parts/bootup.tex
@@ -54,7 +54,7 @@ The first 12 slots contain specific capabilities as listed in
 \\
       0x9 & \texttt{seL4\_CapBootInfoFrame}       & BootInfo frame (see \autoref{ch:bootup:bootinfo}) \\
       0xa & \texttt{seL4\_CapInitThreadIPCBuffer} & initial thread's IPC buffer (see \autoref{sec:messageinfo}) \\
-      0xb & \texttt{seL4\_CapDom}                 & domain cap (see \autoref{sec:domains}) \\
+      0xb & \texttt{seL4\_CapDomain}              & domain cap (see \autoref{sec:domains}) \\
       \bottomrule
     \end{tabularx}
   \end{center}