diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-30 18:45:06 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-30 19:20:40 +0200 |
| commit | 89ec88f1e750cfb786de1929ef44fac70c9a29ab (patch) | |
| tree | 9b8521eff78cd358bbdb6bb1b8dfa2df22ac2dd0 /theories/MSets | |
| parent | c78af970e1f003587fba9bebdf3ab5ca3b23face (diff) | |
Quick fix to another bug of "subst" introduced in 4e3d464 and spotted by Maxime.
Diffstat (limited to 'theories/MSets')
0 files changed, 0 insertions, 0 deletions