Update verific.rst

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

diff --git a/docs/source/verific.rst b/docs/source/verific.rst
index 6cf1ca1b177de79d5e2be07cb24c2619f4a1be48..2d5f868cad355e804bb627ed26311358441b14be 100644 (file)
--- a/docs/source/verific.rst
+++ b/docs/source/verific.rst
@@ -84,17 +84,15 @@ And some additional more complex operators:
   * *sequence* ``or`` *sequence*
   * *sequence* ``and`` *sequence*
   * *expression* ``throughout`` *sequence*
-
-The following operators are currently **unsupported** but support for them is
-planned for the near future:
-
-  * ``first_match(`` *sequence* ``)``
   * *sequence* ``intersect`` *sequence*
   * *sequence* ``within`` *sequence*
+  * ``first_match(`` *sequence* ``)``
   * *expression* ``[=N]``
   * *expression* ``[=N:M]``
+  * *expression* ``[=N:$]``
   * *expression* ``[->N]``
   * *expression* ``[->N:M]``
+  * *expression* ``[->N:$]``
 
 Properties
 ~~~~~~~~~~