| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fixing bug #4462: unshelve: Anomaly: Uncaught exception Not_found. |  Pierre-Marie Pédrot | 2015-12-29 |
| The rewrite tactic was causing an evar leak because of the use of the Evd.remove primitive. This function did not modify the future goals of the evarmap to remove the considered evar and thus maintained dangling evars in there, causing the anomaly. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |