diff options
Diffstat (limited to 'doc/user/prg_prog')
| -rw-r--r-- | doc/user/prg_prog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/user/prg_prog b/doc/user/prg_prog index 8d343f6..19a525e 100644 --- a/doc/user/prg_prog +++ b/doc/user/prg_prog @@ -7,14 +7,14 @@ The standard reference for the Eiffel language @Cite { $meyer1992eiffel } specifies that identifiers within comments may or should be enclosed in ` and ' so that they may be noticed and printed in an italic font: -@ID @Code @Verbatim { +@ID @OneRow @Code @Verbatim { @ID @Eiffel { deposit(amount: REAL) is -- deposit `amount' dollars } } produces -@ID @Eiffel { +@ID @OneRow @Eiffel { deposit(amount: REAL) is -- deposit `amount' dollars } |