From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 6 Mar 2018 00:18:19 +0000 (+0100)
Subject: Minor format fix in documentation
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fbd5ddb615a7bfc8d5e4c16bcc9286b3fe277b57;p=SymbiYosys.git

Minor format fix in documentation

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/docs/source/verific.rst b/docs/source/verific.rst
index aa93a75..74756be 100644
--- a/docs/source/verific.rst
+++ b/docs/source/verific.rst
@@ -88,10 +88,10 @@ planned for the near future:
   * ``first_match(`` *sequence* ``)``
   * *sequence* ``intersect`` *sequence*
   * *sequence* ``within`` *sequence*
-  * *expression* [=N]
-  * *expression* [=N:M]
-  * *expression* [->N]
-  * *expression* [->N:M]
+  * *expression* ``[=N]``
+  * *expression* ``[=N:M]``
+  * *expression* ``[->N]``
+  * *expression* ``[->N:M]``
 
 Properties
 ~~~~~~~~~~