Fixed a typo.

This commit is contained in:
2015-04-07 14:47:38 +02:00
parent 20ed000879
commit da8028f8b3

View File

@@ -81,9 +81,8 @@ feature -- Element change
unset_http_server_name unset_http_server_name
do do
http_server_name := Void http_server_name := Void
--| Missing postcondition ensure
--| ensure unset_http_server_name: http_server_name = Void
--| unser_http_server_name: http_server_name = Void.
end end
set_http_server_port (v: like http_server_port) set_http_server_port (v: like http_server_port)