denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Whitespace fix

Browse Source
This commit is contained in:
Norman Feske
2012-10-11 20:47:39 +02:00
parent 20d8655a7f
commit 97162332c9
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
os/src/init/main.cc
View File

@@ -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;
}