From fbd5ddb615a7bfc8d5e4c16bcc9286b3fe277b57 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 6 Mar 2018 01:18:19 +0100 Subject: [PATCH] Minor format fix in documentation Signed-off-by: Clifford Wolf --- docs/source/verific.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 ~~~~~~~~~~ -- 2.30.2