From b9ca22006bf27599c8aecb7084863f68b059dff7 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 12 Oct 2011 15:38:45 +0200 Subject: [PATCH] removed unwanted code --- examples/hello_routed_world/src/hello_routed_world.e | 1 - 1 file changed, 1 deletion(-) diff --git a/examples/hello_routed_world/src/hello_routed_world.e b/examples/hello_routed_world/src/hello_routed_world.e index 23f70cd2..96a404cb 100644 --- a/examples/hello_routed_world/src/hello_routed_world.e +++ b/examples/hello_routed_world/src/hello_routed_world.e @@ -30,7 +30,6 @@ feature {NONE} -- Initialization create_router do - check False end create router.make (5) end