This is an automated email from the ASF dual-hosted git repository.
spmallette pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/tinkerpop.git
The following commit(s) were added to refs/heads/master by this push:
new a0b3711d6e Fix typo CTR
new 2b069c7899 Merge branch '3.6-dev'
a0b3711d6e is described below
commit a0b3711d6e55726f2197a45165a34c779815c393
Author: Stephen Mallette <[email protected]>
AuthorDate: Fri Jan 13 06:21:30 2023 -0500
Fix typo CTR
---
docs/src/dev/provider/gremlin-semantics.asciidoc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/src/dev/provider/gremlin-semantics.asciidoc
b/docs/src/dev/provider/gremlin-semantics.asciidoc
index 4acd384c7e..c79f725b8a 100644
--- a/docs/src/dev/provider/gremlin-semantics.asciidoc
+++ b/docs/src/dev/provider/gremlin-semantics.asciidoc
@@ -180,7 +180,7 @@ negation (`P.not`).
| `ERROR` | `FALSE` | `ERROR` | `X \|\| FALSE == X`
| `ERROR` | `ERROR` | `ERROR` | `X \|\| X == X`
|===
-===== Ternary Boolean Semantics for `OR`:
+===== Ternary Boolean Semantics for `NOT`:
The `NOT` predicate inverts `TRUE` and `FALSE`, respectively, but maintains
`ERROR` values. The key idea is that, for an
`ERROR` value, we can neither prove nor disprove the expression, and hence
stick with `ERROR`.
|===
