diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-04-01 17:32:50 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-04-01 17:58:16 +0200 |
| commit | 36dd5dba9c7a86ef97e9f8bd96cbf6340098e2b7 (patch) | |
| tree | 3115235c0cea912a3e44a1f78a3e690cfd4647ab /pretyping/evarsolve.mli | |
| parent | 68191dcce820a8135a84e716bddb7cf78476c360 (diff) | |
Fixing bug #2900 (evar/evar unif was supposed to be treated in
solve_simple_eqn but in case the second evar was hidden behind a
local variable, it arrived in evar_define and imitate, wrongly
assuming progress).
Diffstat (limited to 'pretyping/evarsolve.mli')
0 files changed, 0 insertions, 0 deletions