mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Removed a few obsolete calls.

Browse Source 
Updated tests/all.ecf to include a few missing libraries.
This commit is contained in:
Jocelyn Fiat
2018-02-02 22:40:18 +01:00
parent 7b0ccc0aec
commit 6a779797a5
4 changed files with 13 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
library/server/wsf/security/support/wsf_protection_policy.e
View File

@@ -460,7 +460,6 @@ feature {NONE} -- Implementation
require
all_protections_valid: across a_protections as ic all ic.item.is_valid end
local
v: WSF_STRING
prot: WSF_PROTECTION
do
if a_value /= Void then
@@ -478,7 +477,7 @@ feature {NONE} -- Implementation
end
note
copyright: "2011-2017, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others"
copyright: "2011-2018, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software