diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-12-08 17:29:24 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-12-08 17:29:24 -0500 |
| commit | 49da529aff71b377ec8a9ebc98b0a94f81ee18e5 (patch) | |
| tree | a3b3fae12a80df87219d783fafc444e2090c33c8 /demo/counter.urs | |
| parent | 636cadeb754871d6574cfa53660c0ea487fe7fd5 (diff) | |
Change Postgres schema-checking code to account properly for namespaces
Diffstat (limited to 'demo/counter.urs')
0 files changed, 0 insertions, 0 deletions