From 6ee13fcfb0b7c43055d7153b0bc3eb3d453b13e9 Mon Sep 17 00:00:00 2001 From: jfiat Date: Tue, 28 Jan 2014 16:04:01 +0000 Subject: [PATCH] Author:jfiat Date:2014-01-28T16:04:01.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1248 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- ...id-safety-how-eiffel-removes-null-pointer-dereferencing.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/current/papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki b/documentation/current/papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki index 2ea5ce86..f34727f0 100644 --- a/documentation/current/papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki +++ b/documentation/current/papers/void-safety-how-eiffel-removes-null-pointer-dereferencing.wiki @@ -26,5 +26,5 @@ The Eiffel solution relies on a combination of language mechanisms:
  • The "Object Test" instruction lets programmers treat void values in a special way. -The White Paper describes the theoretical and practical challenges of ensuring void safety and presents the Eiffel mechanism. +The White Paper (see the link below) describes the theoretical and practical challenges of ensuring void safety and presents the Eiffel mechanism.