# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1439640620 14400
# Node ID 3acaaff30c8550cfa2aba70315bd67ed5d0e6825
# Parent  544199d8b14aa0ce60de1fe1a0f2f0577a4d8473
Add LIKE to the manual

diff -r 544199d8b14a -r 3acaaff30c85 doc/manual.tex
--- a/doc/manual.tex	Sun Aug 09 11:14:09 2015 -0400
+++ b/doc/manual.tex	Sat Aug 15 08:10:20 2015 -0400
@@ -2314,7 +2314,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 = \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 \mid \mt{LIKE} \\
   \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\} \\