diff options
author | 2010-01-28 20:10:32 -0500 | |
---|---|---|
committer | 2010-01-28 20:10:32 -0500 | |
commit | d421272d0b5e813a4646a45666b843c956f4d5eb (patch) | |
tree | 59ee5c6dd73bf30d00b25475b5d6bde43b932a08 /lib/ur/basis.urs | |
parent | a275b199775b15cd1cb26eb27f2dfbe05faf46a5 (diff) |
Small tweaks
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r-- | lib/ur/basis.urs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index fe7119a4..5bd97fed 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -273,7 +273,6 @@ val check : fs ::: {Type} -> sql_constraint fs [] - (*** Queries *) con sql_query :: {{Type}} -> {Type} -> Type |