From 312bca43d7ff266b810e77f06cf37d9f2024f814 Mon Sep 17 00:00:00 2001 From: jfiat Date: Thu, 22 Oct 2009 15:38:18 +0000 Subject: [PATCH] Author:halw Date:2009-10-21T17:49:34.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@335 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../what-makes-certified-attachment-pattern.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki b/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki index 04526592..f2c30640 100644 --- a/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki +++ b/documentation/current/method/void-safe-programming-eiffel/what-makes-certified-attachment-pattern.wiki @@ -52,7 +52,7 @@ In the object test expression above, the identifier l_x is an Objec In the second context, the expression can be a read-only entity. Read-only entities are: # Constant attributes -# formal arguments +# Formal arguments # Object-Test Locals # Current