diff options
Diffstat (limited to 'lib')
| -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 |