From 97162332c944f3740a9d02472f7be14735b5e752 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 11 Oct 2012 20:47:39 +0200 Subject: [PATCH] Whitespace fix --- os/src/init/main.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/os/src/init/main.cc b/os/src/init/main.cc index 8ff23e945..7277a8bff 100644 --- a/os/src/init/main.cc +++ b/os/src/init/main.cc @@ -162,9 +162,9 @@ int main(int, char **) for (;; start_node = start_node.next("start")) { children.insert(new (Genode::env()->heap()) - Child(start_node, default_route_node, &children, - read_prio_levels_log2(), - &parent_services, &child_services, &cap)); + Child(start_node, default_route_node, &children, + read_prio_levels_log2(), + &parent_services, &child_services, &cap)); if (start_node.is_last("start")) break; }