From 3daa8a3d040a49298ea9f4e39b5957f27693b7b2 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 26 Jan 2016 16:50:20 +0100
Subject: [PATCH] report_rom: update documentation of policy config

---
 repos/os/src/server/report_rom/README | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/repos/os/src/server/report_rom/README b/repos/os/src/server/report_rom/README
index 49e95d905..f1df0ad9c 100644
--- a/repos/os/src/server/report_rom/README
+++ b/repos/os/src/server/report_rom/README
@@ -9,11 +9,9 @@ The report-ROM server hands out ROM modules only if explicitly permitted by a
 configured policy. For example:
 
 ! <config>
-!   <rom>
-!     <policy label="decorator -> pointer" report="nitpicker -> pointer"/>
-!     <policy ...  />
-!     ...
-!   </rom>
+!   <policy label="decorator -> pointer" report="nitpicker -> pointer"/>
+!   <policy ...  />
+!   ...
 ! </config>
 
 The label of an incoming ROM session is matched against the 'label' attribute