summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-28 20:10:32 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-28 20:10:32 -0500
commit103736323470e52fa3b3a25448de5f0d1806fd50 (patch)
tree59ee5c6dd73bf30d00b25475b5d6bde43b932a08 /lib/ur
parentde00bef82c2557709fe744c28f6c64eeac28d881 (diff)
Small tweaks
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs1
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