Mercurial > urweb

diff lib/basis.urs @ 300:cde1ec47f3af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborated 'update'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:51:07 -0400
parents 5f6a60b7ab00
children bc89dfdbc495
line wrap: on
line diff
--- a/lib/basis.urs	Sun Sep 07 13:47:10 2008 -0400
+++ b/lib/basis.urs	Sun Sep 07 13:51:07 2008 -0400
@@ -209,8 +209,8 @@
         -> dml
 
 val update : changed ::: {Type} -> unchanged ::: {Type} -> changed ~ unchanged
+        -> $changed
         -> sql_table (changed ++ unchanged)
-        -> $changed
         -> sql_exp [T = changed ++ unchanged] [] [] bool
         -> dml