diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-03-29 09:55:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-03-29 09:55:04 -0400 |
| commit | c0e9784e1cfc3f377e1144833597e4dcd5472e84 (patch) | |
| tree | c681bccc3c5734fd488af8fc816900fe39ff91fd /CHANGELOG | |
| parent | a613f7d9361f504290757c686d87f56dc1e7b088 (diff) | |
Fix defunctorization of modules containing datatype definitions
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions