diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-09-03 08:57:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-09-03 08:57:13 -0400 |
| commit | 9d335a56ec401b63a35f0e42d6fb8b69cb686c90 (patch) | |
| tree | 5eebf2ce73817726e5e44cba7567d7ff63daadb6 /m4/lt~obsolete.m4 | |
| parent | 199e177f2dc8fb4bc37b22553ecea660af3932f5 (diff) | |
Better detection of type class witnesses in local bindings
Diffstat (limited to 'm4/lt~obsolete.m4')
0 files changed, 0 insertions, 0 deletions