From 9ebbd460bf5b62f9a3f6cedd5d2ae77ae8cb1dff Mon Sep 17 00:00:00 2001
From: jfiat <jfiat@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 7 Aug 2013 13:09:34 +0000
Subject: [PATCH] Fixed wrong class reference in Section 7 for structural
 property classes.

Author:admin
Date:2013-08-07T13:09:34.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1230 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../current/method/eiffel-tutorial-et/et-inheritance.wiki       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki b/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki
index 855319ff..a6ef4902 100644
--- a/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki
+++ b/documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki
@@ -353,7 +353,7 @@ Some deferred classes describe a structural property, useful to the description
 
 <code>NUMERIC</code> describes objects on which arithmetic operations <code>+, -, *, /</code> are available, with the properties of a ring (associativity, distributivity, zero elements etc.). Kernel Library classes such as <code>INTEGER</code> and <code>REAL</code> -- but not, for example, <code>STRING</code> -- are descendants of <code>NUMERIC</code>. An application that defines a class <code>MATRIX</code> may also make it a descendant of <code>NUMERIC</code>. 
 
-<code>COMPARABLE</code> describes objects on which comparison operations <code><, <=, >, >=</code> are available, with the properties of a total preorder (transitivity, irreflexivity). Kernel Library classes such as <code>CHARACTER</code>, <code>STRING</code> and <code>INTEGER</code> -- but not our <code>MATRIX</code> example -- are descendants of <code>NUMERIC</code>. 
+<code>COMPARABLE</code> describes objects on which comparison operations <code><, <=, >, >=</code> are available, with the properties of a total preorder (transitivity, irreflexivity). Kernel Library classes such as <code>CHARACTER</code>, <code>STRING</code> and <code>INTEGER</code> -- but not our <code>MATRIX</code> example -- are descendants of <code>COMPARABLE</code>. 
 
 For such classes it is again essential to permit effective features in a deferred class, and to include assertions. For example class <code>COMPARABLE</code> declares <code>infix "<"</code> as deferred, and expresses <code>>, >=</code> and <code><=</code> effectively in terms of it.