From da1f8066caeac8c68de52d36da831762eae97ccd Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 8 Jul 2011 13:33:26 -0400
Subject: Fix manual syntax for SQL injection

---
 doc/manual.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual.tex b/doc/manual.tex
index bef73c6e..56263ef5 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2055,7 +2055,7 @@ $$\begin{array}{rrcll}
   &&& \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} \\
-- 
cgit v1.2.3