diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-09 09:51:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-09 09:51:39 -0500 |
| commit | f5667c8aa0127a9a385148f33eb1afd3ea5642e8 (patch) | |
| tree | 738d7121ad04316e0bb99239f9d5cbb748e47630 /src/elaborate.sml | |
| parent | 2c3aac20704cae4cb8ba864b685f2763bf8b62ca (diff) | |
Tweak Especialize heuristic to prevent non-termination
Diffstat (limited to 'src/elaborate.sml')
0 files changed, 0 insertions, 0 deletions