summaryrefslogtreecommitdiff
path: root/src/core_util.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-09 16:54:04 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-09 16:54:04 -0400
commit3232399b3893f93678a2d1a519bd0d4011275dba (patch)
treef254c5ef6dbc110d2b04460f531592e4c1a1c7be /src/core_util.sig
parent3e59b823392701f538f972d689d04b0182696e51 (diff)
Re-consistent-ify naming of union members
Diffstat (limited to 'src/core_util.sig')
0 files changed, 0 insertions, 0 deletions