diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-21 11:45:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-21 11:45:04 -0400 |
| commit | 32f6bd8f1bcf65a5db96160d63ef2050c9eb5e52 (patch) | |
| tree | 502ef8ac60b6ab054bea740f53ef75ae77f0c66e /src/elab_err.sml | |
| parent | c53470daa7b350ac8545d8934cedbcb1aae49bd0 (diff) | |
Change List.mapM' to avoid leaving functions around
Diffstat (limited to 'src/elab_err.sml')
0 files changed, 0 insertions, 0 deletions