From 3d58ef84fadcf14ce2b7564ab75365852f1dc96f Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Sat, 15 Oct 2016 22:14:03 +0200
Subject: [PATCH] Fixed void-safety settings on web_socket_protocol.ecf .

---
 library/network/websocket/protocol/web_socket_protocol.ecf | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/network/websocket/protocol/web_socket_protocol.ecf b/library/network/websocket/protocol/web_socket_protocol.ecf
index 2fd61c67..c159d254 100644
--- a/library/network/websocket/protocol/web_socket_protocol.ecf
+++ b/library/network/websocket/protocol/web_socket_protocol.ecf
@@ -2,6 +2,8 @@
 <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-15-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-15-0 http://www.eiffel.com/developers/xml/configuration-1-15-0.xsd" name="protocol" uuid="97582991-7BF3-4F4D-8944-8141ADE34274" library_target="protocol">
 	<target name="protocol">
 		<root all_classes="true"/>
+		<option void_safety="none">
+		</option>
 		<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
 		<cluster name="src" location=".\" recursive="true"/>
 	</target>