From 40b8da8755f9310e5a9752b3e31388963ee38d13 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 10 Dec 2015 16:40:45 +0100
Subject: [PATCH] rom filter: amend name of run script in README

---
 repos/os/src/server/rom_filter/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/server/rom_filter/README b/repos/os/src/server/rom_filter/README
index 32facf0d26..07386bdb32 100644
--- a/repos/os/src/server/rom_filter/README
+++ b/repos/os/src/server/rom_filter/README
@@ -43,4 +43,4 @@ Example
 ~~~~~~~
 
 For an example that illustrates the use of the component, please refer to the
-_os/run/conditional_rom.run_ script.
+_os/run/rom_filter.run_ script.