From 99d983096825e396037cd041ace0348736d73d9b Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 10 Oct 2018 17:31:54 +0200
Subject: [PATCH] run/dynamic_config: fix caps attribute

---
 repos/os/run/dynamic_config.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/dynamic_config.run b/repos/os/run/dynamic_config.run
index 1c2c7b216f..8801c4d46e 100644
--- a/repos/os/run/dynamic_config.run
+++ b/repos/os/run/dynamic_config.run
@@ -25,7 +25,7 @@ install_config {
 			<resource name="RAM" quantum="1M"/>
 			<provides> <service name="ROM" /> </provides>
 		</start>
-		<start name="test-dynamic_config" cap="500">
+		<start name="test-dynamic_config" caps="500">
 			<resource name="RAM" quantum="1M"/>
 			<configfile name="config.dynamic" />
 			<route>