From ef85c07603ff4c111d384fe4899dbd8ec9b1e1a5 Mon Sep 17 00:00:00 2001 From: jvelilla Date: Thu, 8 Sep 2011 07:43:36 -0300 Subject: [PATCH] Update --- examples/hello_routed_world/src/hello_routed_world.e | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/hello_routed_world/src/hello_routed_world.e b/examples/hello_routed_world/src/hello_routed_world.e index 2e0f5d1b..2ee1f52a 100644 --- a/examples/hello_routed_world/src/hello_routed_world.e +++ b/examples/hello_routed_world/src/hello_routed_world.e @@ -21,6 +21,7 @@ create feature {NONE} -- Initialization + make do initialize_router