From a96a143fe0e048aeaf2e86c7496fb0e1a45d0e25 Mon Sep 17 00:00:00 2001 From: Colin Adams Date: Thu, 14 Mar 2013 14:45:31 +0000 Subject: [PATCH] used across for assertion --- library/server/wsf/router/wsf_request_methods.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/server/wsf/router/wsf_request_methods.e b/library/server/wsf/router/wsf_request_methods.e index 66a15921..00501c0a 100644 --- a/library/server/wsf/router/wsf_request_methods.e +++ b/library/server/wsf/router/wsf_request_methods.e @@ -65,7 +65,7 @@ feature {NONE} -- Initialization make_from_iterable (v: ITERABLE [READABLE_STRING_8]) -- Initialize for all methods named by `v'. require - v_all_methods_attached: v /= Void and then True -- Can this be specified using across? It's annoying that ITERABLE doesn't have for_all. + v_all_methods_attached: v /= Void and then across v as c all c.item /= Void end do make (1) add_methods (v)