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 | da1f8066caeac8c68de52d36da831762eae97ccd (patch) | |
| tree | 4dfc573ef0d0e4e56c4a99e5b0a9b8a7bceb441a /doc | |
| parent | 27ed0d066ddb84c6b983b7b671ff951d4f86b99e (diff) | |
Fix manual syntax for SQL injection
Diffstat (limited to 'doc')
| -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} \\ |