From 73572a3e1c5676ba8161972d5b9c11c42b60a02b Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Wed, 30 Nov 2016 15:40:12 +0100
Subject: [PATCH] updated roc tool ecf file.

---
 tools/roc/roc.ecf | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/tools/roc/roc.ecf b/tools/roc/roc.ecf
index 9c277ee..c3e4718 100644
--- a/tools/roc/roc.ecf
+++ b/tools/roc/roc.ecf
@@ -1,15 +1,11 @@
 <?xml version="1.0" encoding="ISO-8859-1"?>
-<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="roc" uuid="10B0F9A7-B711-419B-A1B5-833EB61DF8A6">
+<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="roc" uuid="10B0F9A7-B711-419B-A1B5-833EB61DF8A6">
 	<target name="roc">
 		<root class="APPLICATION" feature="make"/>
-		<option warning="true" is_obsolete_routine_type="true">
+		<option warning="true" void_safety="all">
 			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
 		</option>
 		<setting name="console_application" value="true"/>
-		<capability>
-			<concurrency support="none"/>
-			<void_safety support="all"/>
-		</capability>
 		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
 		<library name="encoding" location="$ISE_LIBRARY\library\encoding\encoding-safe.ecf"/>
 		<library name="config" location="../../library/configuration/config-safe.ecf"/>