Mercurial > urweb

diff lib/ur/basis.urs @ 1136:32710de7227b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small tweaks
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Jan 2010 20:10:32 -0500
parents 4f3a1aa3b66d
children b7118ffd32ae
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Jan 28 13:55:01 2010 -0500
+++ b/lib/ur/basis.urs	Thu Jan 28 20:10:32 2010 -0500
@@ -273,7 +273,6 @@
             -> sql_constraint fs []
 
 
-
 (*** Queries *)
 
 con sql_query :: {{Type}} -> {Type} -> Type