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 /demo/roundTrip.ur | |
parent | aabcc562d7ad7266b6b1e338a14a19224c1169df (diff) |
Fix catalog querying about empty tables
Diffstat (limited to 'demo/roundTrip.ur')
0 files changed, 0 insertions, 0 deletions