diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-18 17:44:12 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-18 17:44:12 -0500 |
commit | 8e0703aba307782b43ed591acbb7c574859a22c3 (patch) | |
tree | 683cd859883db5175662045e278f0b10056e587a /tests/emptyTable.ur | |
parent | 69e08bd046195515eed94d425ebd4cf549d5a549 (diff) |
Fix catalog querying about empty tables
Diffstat (limited to 'tests/emptyTable.ur')
-rw-r--r-- | tests/emptyTable.ur | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/emptyTable.ur b/tests/emptyTable.ur new file mode 100644 index 00000000..d9469be4 --- /dev/null +++ b/tests/emptyTable.ur @@ -0,0 +1 @@ +table tricky : {} |