From 45a4d59e072bba08760a2985e1e2defe92f780ac Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 26 Nov 2013 12:30:23 +0100
Subject: [PATCH] Whitespace fix

---
 os/src/test/trace/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/src/test/trace/main.cc b/os/src/test/trace/main.cc
index 10c0ac60af..195d836fa1 100644
--- a/os/src/test/trace/main.cc
+++ b/os/src/test/trace/main.cc
@@ -136,7 +136,7 @@ int main(int argc, char **argv)
 
 	char                     policy_label[64];
 	char                     policy_module[64];
-        Rom_dataspace_capability policy_module_rom_ds;
+	Rom_dataspace_capability policy_module_rom_ds;
 
 	try {
 		Xml_node policy = config()->xml_node().sub_node("trace_policy");