# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1310146406 14400
# Node ID a77fa7e7bb7be4611516a5500136c49c519e24bf
# Parent  4437b008e0ab7b96ffe3a3a5ffdf5bbea6b4a4c2
Fix manual syntax for SQL injection

diff -r 4437b008e0ab -r a77fa7e7bb7b doc/manual.tex
--- a/doc/manual.tex	Wed Jul 06 18:54:23 2011 -0430
+++ b/doc/manual.tex	Fri Jul 08 13:33:26 2011 -0400
@@ -2055,7 +2055,7 @@
   &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\
   \textrm{SQL expressions} & E &::=& p & \textrm{column references} \\
   &&& X & \textrm{named expression references} \\
-  &&& \{\{e\}\} & \textrm{injected native Ur expressions} \\
+  &&& \{[e]\} & \textrm{injected native Ur expressions} \\
   &&& \{e\} & \textrm{computed expressions, probably using $\mt{sql\_exp}$ directly} \\
   &&& \mt{TRUE} \mid \mt{FALSE} & \textrm{boolean constants} \\
   &&& \ell & \textrm{primitive type literals} \\