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/mono_reduce.sig | |
parent | 2c3aac20704cae4cb8ba864b685f2763bf8b62ca (diff) |
Tweak Especialize heuristic to prevent non-termination
Diffstat (limited to 'src/mono_reduce.sig')
0 files changed, 0 insertions, 0 deletions