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 | f7b9d1cc2d003582e03ad151bfe54f3d5fa51eb7 (patch) | |
| tree | dfa02c4366af7cf29734a03418b586ce1f512cd9 /lib/ur/basis.urs | |
| parent | 4eb93836d04d18f43d8c4360f290a7977d96c468 (diff) | |
Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions