diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-09 16:54:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-09 16:54:04 -0400 |
| commit | 3232399b3893f93678a2d1a519bd0d4011275dba (patch) | |
| tree | f254c5ef6dbc110d2b04460f531592e4c1a1c7be /src/elab_util.sig | |
| parent | 3e59b823392701f538f972d689d04b0182696e51 (diff) | |
Re-consistent-ify naming of union members
Diffstat (limited to 'src/elab_util.sig')
0 files changed, 0 insertions, 0 deletions