diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-02 12:24:09 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-02 12:24:09 -0500 |
| commit | 00fb3b3036bf009aedc31df4ea86bc6e00cd2fa4 (patch) | |
| tree | 69c98809ba7fb7efd9b6d4c568511bc62d3699ad /tests/transactional.c | |
| parent | 5b2a5c0bb954c54b30855e7a55768feb9c6332ad (diff) | |
More hnorm during type class resolution
Diffstat (limited to 'tests/transactional.c')
0 files changed, 0 insertions, 0 deletions