changeset 1587:257421857680

Fix SQL grammar bug in manual
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 09:40:38 -0400 (2011-11-05)
parents 03ad79980b55
children 65d6488c82d5
files doc/manual.tex
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/manual.tex	Wed Nov 02 09:37:20 2011 -0400
+++ b/doc/manual.tex	Sat Nov 05 09:40:38 2011 -0400
@@ -2131,7 +2131,7 @@
   &&& \mid (Q) \; \mt{AS} \; t \\
   \textrm{Joins} & J &::=& [\mt{INNER}] \\
   &&& \mid [\mt{LEFT} \mid \mt{RIGHT} \mid \mt{FULL}] \; [\mt{OUTER}] \\
-  \textrm{SQL expressions} & E &::=& p & \textrm{column references} \\
+  \textrm{SQL expressions} & E &::=& t.f & \textrm{column references} \\
   &&& X & \textrm{named expression references} \\
   &&& \{[e]\} & \textrm{injected native Ur expressions} \\
   &&& \{e\} & \textrm{computed expressions, probably using $\mt{sql\_exp}$ directly} \\