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 /doc | |
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 'doc')
0 files changed, 0 insertions, 0 deletions