diff options
| author | thery | 2016-07-05 14:02:28 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-07-05 15:24:06 +0200 |
| commit | a91bafa58710777506dc30afb1a0e2cc56b941c7 (patch) | |
| tree | 9df84fff167309faf9c24a92e60413ca60043361 /kernel/cbytecodes.ml | |
| 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 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions