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 | 13eb7555000c10b0c54e11364c42e0da75b98ca7 (patch) | |
tree | 683cd859883db5175662045e278f0b10056e587a /tests/emptyTable.ur | |
parent | aabcc562d7ad7266b6b1e338a14a19224c1169df (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 : {} |