Fix incorrect java.util.regex.Pattern name in specification

This commit is contained in:
Marcono1234
2020-06-10 17:56:57 +02:00
committed by GitHub
parent 5b0d92d72b
commit 5d2b911596

View File

@@ -1760,7 +1760,7 @@ The following built-in predicates are members of type ``string``:
| ``trim`` | string | | The result is the receiver with all whitespace removed from the beginning and end of the string. |
+----------------------+-------------+------------------+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
Regular expressions are as defined by ``java.util.Pattern`` in Java.
Regular expressions are as defined by ``java.util.regex.Pattern`` in Java.
Evaluation
----------