diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-18 12:00:36 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-18 12:00:36 -0500 |
| commit | 1e79d3c76b59c86b605fa8d1c63dd9f0589b11a6 (patch) | |
| tree | dfa02c4366af7cf29734a03418b586ce1f512cd9 /demo | |
| parent | 7711c829190f80e32de4d3b45ce39245dba07435 (diff) | |
Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions