From 9aa9c1fc665f38a1569ea6cdbf90ce4aee7c10af Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 5 Nov 2011 09:40:38 -0400 Subject: Fix SQL grammar bug in manual --- doc/manual.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/manual.tex') diff --git a/doc/manual.tex b/doc/manual.tex index 71df6ccc..6cbecea3 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -2131,7 +2131,7 @@ $$\begin{array}{rrcll} &&& \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} \\ -- cgit v1.2.3