diff --git a/doc/ref/not.html b/doc/ref/not.html index 063d18e..ffd8a93 100644 --- a/doc/ref/not.html +++ b/doc/ref/not.html @@ -21,7 +21,7 @@