From b308cbf5ee427b830ffd192412d8c2b9b120b9b0 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Tue, 20 Dec 2016 13:48:57 +0000 Subject: [PATCH] Update wikipage Void-safe programming in Eiffel. (Signed-off-by:b-meyer). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1711 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Language_reference/void-safe-programming-eiffel/index.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki index 2d56a794..e202cff8 100644 --- a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki +++ b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/index.wiki @@ -1,7 +1,7 @@ [[Property:title|Void-safe programming in Eiffel]] [[Property:weight|10]] [[Property:uuid|a03568e8-eb79-70d7-04a3-6fd3ed7ac2b3]] -=About void-safe software development using Eiffel= +=Void-safe software development using Eiffel: introduction= When you develop software in Eiffel, you can be assured (at compile time) that your system will not attempt (at run time) to apply a feature to a void reference -- or, in the terminology of other languages such as C, "dereference a null pointer".