From f67140b1278ae962d677f6ee783d87dfe12671d8 Mon Sep 17 00:00:00 2001
From: eiffel-org <eiffel-org@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Fri, 29 Jul 2016 09:00:32 +0000
Subject: [PATCH] Update wikipage Eiffel programming language syntax.
 (Signed-off-by:jocelyn).

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1604 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../eiffel-programming-language-syntax.wiki                 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
index 25f6c80a..18ee5f81 100644
--- a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
+++ b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki
@@ -312,15 +312,15 @@ Instruction ::= [[#Creation instructions|Creation_instruction]] | [[#Feature cal
 
 
 ===Assertions ===
-Precondition ::= <code>require</code> [<code>else</code>] Assertion 
+Precondition ::= <code>require</code> <nowiki>[</nowiki><code>else</code><nowiki>]</nowiki> Assertion 
 
-Postcondition ::= <code>ensure</code> [<code>then</code>] Assertion <nowiki>[</nowiki>[[#"Only" postcondition clauses|Only]]<nowiki>]</nowiki> 
+Postcondition ::= <code>ensure</code> <nowiki>[</nowiki><code>then</code><nowiki>]</nowiki> Assertion <nowiki>[</nowiki>[[#"Only" postcondition clauses|Only]]<nowiki>]</nowiki> 
 
 Invariant ::= <code>invariant</code> Assertion 
 
 Assertion ::= {Assertion_clause ";" ...}* 
 
-Assertion_clause ::= [Tag_mark] Unlabeled_assertion_clause 
+Assertion_clause ::= <nowiki>[</nowiki>Tag_mark<nowiki>]</nowiki> Unlabeled_assertion_clause 
 
 Unlabeled_assertion_clause ::= [[#Expressions|Boolean_expression]] | [[#Comments|Comment]]