diff options
| author | Maxime Dénès | 2014-08-04 16:31:29 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2014-08-04 18:10:12 -0400 |
| commit | 7d3c337a3b9f0906de22ccfde02203b8fafd330d (patch) | |
| tree | 20b21e634c8e375519ba272da2402ad6a3a24ca7 /plugins | |
| parent | f9b33f4bc396eaf60abaaee270b4701fe05d82f4 (diff) | |
Fix an exponential behavior in guard checker for cofixpoints.
I had introduced it by mistake due to my OCaml dyslexia :)
Thanks to Enrico and Arnaud for saving my day!
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions