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 9e287961a3 Fix typo CTR
new 4afddc8b05 Merge branch '3.6-dev'
9e287961a3 is described below
commit 9e287961a3e3ec8a20d58655f9c99856c7698999
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 0557f1fa6a..bf56224377 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`.
|===
