diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-06 01:24:55 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-06 01:24:55 -0400 |
| commit | b0bbd306083ca502255e6fde01679dc7b8d4f9a2 (patch) | |
| tree | f74e76ec997600d605c7b6c5234d00f1ba036386 /src/Util/Tactics.v | |
| parent | ccbacc7dcbe2ab03d13245bb3c8455fa78e18a29 (diff) | |
More vigorous clearing in unify_transformed_rhs_abstract_tac
It makes more evars go away, which were giving [abstract] trouble
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions