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