diff options
| author | ldrumm <ldrumm@users.noreply.github.com> | 2015-03-12 02:43:56 +0000 |
|---|---|---|
| committer | Baptiste Mispelon <bmispelon@gmail.com> | 2015-03-12 13:43:26 +0100 |
| commit | 27ad12a9b865bf3deebd165360f73ace722cee31 (patch) | |
| tree | 45c9c746339a9a2f0f9150cea07d4921a26bf3fa /docs/ref/unicode.txt | |
| parent | 8a481498aa995b435d8c3a0c90d7d917046f59b3 (diff) | |
Fixed wrong operator in iri_to_uri() docs
Diffstat (limited to 'docs/ref/unicode.txt')
| -rw-r--r-- | docs/ref/unicode.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/ref/unicode.txt b/docs/ref/unicode.txt index 21e8c537c8..d4f560861f 100644 --- a/docs/ref/unicode.txt +++ b/docs/ref/unicode.txt @@ -232,8 +232,8 @@ lies outside the valid UTF-8 range. Both ``iri_to_uri()`` and ``uri_to_iri()`` functions are idempotent, which means the following is always true:: - iri_to_uri(iri_to_uri(some_string)) = iri_to_uri(some_string) - uri_to_iri(uri_to_iri(some_string)) = uri_to_iri(some_string) + iri_to_uri(iri_to_uri(some_string)) == iri_to_uri(some_string) + uri_to_iri(uri_to_iri(some_string)) == uri_to_iri(some_string) So you can safely call it multiple times on the same URI/IRI without risking double-quoting problems. |