diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-28 20:10:32 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-28 20:10:32 -0500 |
| commit | 103736323470e52fa3b3a25448de5f0d1806fd50 (patch) | |
| tree | 59ee5c6dd73bf30d00b25475b5d6bde43b932a08 /lib/ur | |
| parent | de00bef82c2557709fe744c28f6c64eeac28d881 (diff) | |
Small tweaks
Diffstat (limited to 'lib/ur')
| -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 |