diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-07-08 13:33:26 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-07-08 13:33:26 -0400 |
| commit | eb38a363003afe9571a0e88a6b88219825e08267 (patch) | |
| tree | 4dfc573ef0d0e4e56c4a99e5b0a9b8a7bceb441a | |
| parent | f94091da4205dc783cb4d452b935c3f20284278d (diff) | |
Fix manual syntax for SQL injection
| -rw-r--r-- | doc/manual.tex | 2 |
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} \\ |