From 689d77c92562f5f97b7cc1bcd1819af9bfed9bc0 Mon Sep 17 00:00:00 2001 From: halw Date: Fri, 31 Dec 2010 15:28:51 +0000 Subject: [PATCH] m Typo fixed in response to comment. Author:halw Date:2010-12-31T15:28:51.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@720 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffelpreferences/eiffelpreferences-tutorial/overview.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/current/solutions/preferences/eiffelpreferences/eiffelpreferences-tutorial/overview.wiki b/documentation/current/solutions/preferences/eiffelpreferences/eiffelpreferences-tutorial/overview.wiki index 5f8d8fcb..3c6d49bc 100644 --- a/documentation/current/solutions/preferences/eiffelpreferences/eiffelpreferences-tutorial/overview.wiki +++ b/documentation/current/solutions/preferences/eiffelpreferences/eiffelpreferences-tutorial/overview.wiki @@ -19,7 +19,7 @@ So, all preferences belong to a PREFERENCE_MANAGER. The manager has_preferences: preferences /= Void inserted_in_preferences: preferences.has_manager (namespace) has_namespace: namespace /= Void - namesapce_valid: not a_namespace.is_empty + namespace_valid: not a_namespace.is_empty end