Corrected indentation.

Author:alexk
Date:2013-02-22T17:45:56.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1218 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
alexk
2013-02-22 17:45:56 +00:00
parent a034d3524b
commit 962639e068

View File

@@ -227,7 +227,7 @@ As the example of <code>extend</code> shows, a deferred feature, although it has
Deferred classes do not have to be fully deferred. They may contain some effective features along with their deferred ones. Here, for example, we may express <code>count</code> as a function: Deferred classes do not have to be fully deferred. They may contain some effective features along with their deferred ones. Here, for example, we may express <code>count</code> as a function:
<code> <code>
count: INTEGER count: INTEGER
-- Number of items in list -- Number of items in list
do do
from from