diff src/monoize.sml @ 1466:e2d7bd41f527

Remember to remove explicit table projections in SQLite UPDATE SET values
author Adam Chlipala <adam@chlipala.net>
date Mon, 30 May 2011 07:48:08 -0400
parents 607657eb2865
children b703b375c3c0
line wrap: on
line diff
--- a/src/monoize.sml	Sun May 29 14:29:26 2011 -0400
+++ b/src/monoize.sml	Mon May 30 07:48:08 2011 -0400
@@ -1823,10 +1823,11 @@
                                                                 strcatComma (map (fn (x, _) =>
                                                                                      strcat [sc ("uw_" ^ x
                                                                                                  ^ " = "),
-                                                                                             (L'.EField
-                                                                                                  ((L'.ERel 2,
-                                                                                                    loc),
-                                                                                                   x), loc)])
+                                                                                             (L'.EFfiApp ("Basis", "unAs",
+                                                                                                          [(L'.EField
+                                                                                                                ((L'.ERel 2,
+                                                                                                                  loc),
+                                                                                                                 x), loc)]), loc)])
                                                                                  changed),
                                                                 sc " WHERE ",
                                                                 (L'.EFfiApp ("Basis", "unAs", [(L'.ERel 0, loc)]), loc)]),