diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-01-15 15:06:33 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-01-15 15:06:33 -0500 |
commit | fc2329192b052f4fd7716106baa443f5b4d53fa8 (patch) | |
tree | 4cd8631c58d94609d63cc87b451b1432fdffe914 /src/expl.sml | |
parent | 5ec949e910342f6212c85c8df75283d091817408 (diff) |
Fix type-checking of views to match change to sql_query type
Diffstat (limited to 'src/expl.sml')
0 files changed, 0 insertions, 0 deletions