diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-05 02:49:36 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-04-05 02:49:36 -0400 |
commit | fa5c6aed76360c188ac097259b774ba32129aecb (patch) | |
tree | fddda01ee54b9b5e197805be24ec3d233f75182a /src/Util/Tactics | |
parent | 3125b2c088cb33d5b029e74a7b938e25afc9a304 (diff) |
Fix bug in change_with_curried
Comes from unfortunate behavior of [change x with y in *]
Diffstat (limited to 'src/Util/Tactics')
0 files changed, 0 insertions, 0 deletions