Minor correction to Printing a Separate String.

Author:halw
Date:2013-01-29T17:06:55.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1213 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2013-01-29 17:06:55 +00:00
parent 7daa0ba2c7
commit d6350ee2fb

View File

@@ -91,7 +91,7 @@ So, to print <code>my_separate_string</code>, you could create a non-separate in
Or use a creation expression and avoid declaring the local variable:
<code>
io.put_string (create {STRING}.make_from_separate (l_temp))
io.put_string (create {STRING}.make_from_separate (my_separate_string))
</code>