diff options
| author |  thery <thery@sophia.inria.fr> | 2016-07-05 14:02:28 +0200 |
|---|---|---|
| committer |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-07-05 15:24:06 +0200 |
| commit | a91bafa58710777506dc30afb1a0e2cc56b941c7 (patch) | |
| tree | 9df84fff167309faf9c24a92e60413ca60043361 /.mailmap | |
| parent | 6eeec8be1951f15cfa96340ff99a5f03acf12a53 (diff) | |
Bug fix : variable capture in ltac code of Nsatz
changing
set (x := val)
into
let x := fresh "x" in
set (x := val)
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions