diff options
author | 2018-03-13 15:30:11 -0400 | |
---|---|---|
committer | 2018-03-13 15:30:11 -0400 | |
commit | de2d8358dda08bfaf491d815df91d0c1ba33e7c9 (patch) | |
tree | f819be05586e191199befbcbf87b5743e3cdcc9c /demo/refFun.urs | |
parent | e2d548c69e2a83ace5123ade21262aa27336fb6b (diff) |
Handle empty SELECT clauses
Diffstat (limited to 'demo/refFun.urs')
0 files changed, 0 insertions, 0 deletions