-
Guillaume Melquiond authored
If the user happens to select all the goals in the IDE and press replay, a quadratic number of proof attempts are actually scheduled: each goal is scheduled as many times as it has ancestors. This patch fixes it.
6d29a830