summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-07-08 13:33:26 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-07-08 13:33:26 -0400
commiteb38a363003afe9571a0e88a6b88219825e08267 (patch)
tree4dfc573ef0d0e4e56c4a99e5b0a9b8a7bceb441a
parentf94091da4205dc783cb4d452b935c3f20284278d (diff)
Fix manual syntax for SQL injection
-rw-r--r--doc/manual.tex2
1 files changed, 1 insertions, 1 deletions
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} \\