From 76cd7884794894e6177102747aa7d60a44f55214 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Thu, 7 Nov 2013 10:22:32 +0100 Subject: [PATCH] Fix some typos --- os/include/os/session_policy.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/os/include/os/session_policy.h b/os/include/os/session_policy.h index 150135445b..732223614c 100644 --- a/os/include/os/session_policy.h +++ b/os/include/os/session_policy.h @@ -36,7 +36,7 @@ namespace Genode { /** * Constructor * - * \param args session-arguments as null-terminated string + * \param args session arguments as null-terminated string */ explicit Session_label(char const *args) { @@ -84,7 +84,7 @@ namespace Genode { if (!policy.has_type("policy")) continue; - /* label attribtute from policy node */ + /* label attribute from policy node */ char policy_label[Session_label::MAX_LEN]; policy.attribute("label").value(policy_label, sizeof(policy_label)); @@ -116,10 +116,10 @@ namespace Genode { * request * * On construction, the 'Session_policy' looks up the 'policy' XML - * note that matches the label provided as argument. The + * node that matches the label provided as argument. The * server-side policies are defined in one or more policy subnodes * of the server's 'config' node. Each policy node has a label - * attribute. The if policy label matches the first part of the + * attribute. If the policy label matches the first part of the * label delivered as session argument, the policy matches. If * multiple policies match, the one with the largest label is * selected.