diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
| commit | 9a22207b565607db64f95dda5fdc1c9e56224ec9 (patch) | |
| tree | fcd5c44e383db901b132519ee9a953101bcb7b04 /src/sources | |
| parent | 36a9df5f71b954949b92520c6e472548aa5ebfb1 (diff) | |
Fix some type-class detection
Diffstat (limited to 'src/sources')
0 files changed, 0 insertions, 0 deletions