# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1330202084 18000
# Node ID 8c2e8d41a8f27edd029de98bf7a6c51d9aea3715
# Parent  e0e19776857dbd13121972b2d27770ca77a86316
Correct an SQL grammar omission (thanks to Alexei Golovko for spotting the problem)

diff -r e0e19776857d -r 8c2e8d41a8f2 doc/manual.tex
--- a/doc/manual.tex	Sat Feb 18 08:14:51 2012 -0500
+++ b/doc/manual.tex	Sat Feb 25 15:34:44 2012 -0500
@@ -2174,7 +2174,7 @@
   &&& (E) & \textrm{explicit precedence} \\
   \textrm{Nullary operators} & n &::=& \mt{CURRENT\_TIMESTAMP} \\
   \textrm{Unary operators} & u &::=& \mt{NOT} \\
-  \textrm{Binary operators} & b &::=& \mt{AND} \mid \mt{OR} \mid \neq \mid < \mid \leq \mid > \mid \geq \\
+  \textrm{Binary operators} & b &::=& \mt{AND} \mid \mt{OR} \mid = \mid \neq \mid < \mid \leq \mid > \mid \geq \\
   \textrm{Aggregate functions} & a &::=& \mt{COUNT} \mid \mt{AVG} \mid \mt{SUM} \mid \mt{MIN} \mid \mt{MAX} \\
   \textrm{Directions} & o &::=& \mt{ASC} \mid \mt{DESC} \mid \{e\} \\
   \textrm{SQL integer} & N &::=& n \mid \{e\} \\