From 3d695e7d838fbe8c9da8d3522d236492c66dfef4 Mon Sep 17 00:00:00 2001
From: alexk <alexk@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Mon, 28 Nov 2011 10:57:06 +0000
Subject: [PATCH] Listed void-safety related changes in EiffelBase.

Author:alexk
Date:2011-11-28T10:57:06.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1025 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../release-notes-eiffelstudio-70.wiki                           | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki
index 034f5628..dd907250 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki
@@ -50,6 +50,7 @@
 * Improved speed of <e>HASH_TABLE</e> lookups.
 * Added <e>{POINTER}.is_default_pointer</e>.
 * Excluded class <e>BIT_REF</e> from the default setup. In order to use type <e>BIT</e> one has to define a variable <code>USE_BIT</code>.
+* Made <e>{LINKED_STACK}.duplicate</e> void-safe, made a postcondition in {INTERVAL}.intersection void-safe.
 
 ===EiffelVision2===
 * [[Revisions and Bug Fixes|Click here for EiffelVision2 release notes.]]