From 40c5f0aaf4149ec26b99a66d3298f9dc0ddf1415 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Mon, 26 Dec 2016 11:22:49 +0000 Subject: [PATCH] Update wikipage Creating a new void-safe project. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1718 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../creating-new-void-safe-project.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/creating-new-void-safe-project.wiki b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/creating-new-void-safe-project.wiki index 97f76068..339a45c2 100644 --- a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/creating-new-void-safe-project.wiki +++ b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/creating-new-void-safe-project.wiki @@ -19,7 +19,7 @@ This is the essential void-safe project setting. It can assume one of the follow # '''Transitional''': It is an obsolete level which is for users who have already migrated their code to void-safety using an old version of the compiler which did not implement all the void-safety validity rules (especially with agent initialization). # '''Complete''': Complete checking against all void-safety validity rules. -So, for a new void-safe project, you would want to set this option first to '''Conformance''', then '''Initialization'''' and finally to '''Complete'''. This will let you migrate your code progressively without much changes at each steps. +So, for a new void-safe project, you would want to set this option first to '''Conformance''', then '''Initialization''' and finally to '''Complete'''. This will let you migrate your code progressively without much changes at each steps. ===The ''"Full class checking"'' setting===