diff options
| author |  jadep <jadep@mit.edu> | 2019-02-15 13:10:00 -0500 |
|---|---|---|
| committer | jadep <jadep@mit.edu> | 2019-02-15 13:14:09 -0500 |
| commit | 5ada7bb4874a2ddcc75ba72bbbfbc5f2c3864645 (patch) | |
| tree | 8d40f0a606c74a76f698926bec7b6f6c40f5bbbb /src/Fancy | |
| parent | b06d11d9e12cae00475e8f9a5f69d42cf34ae729 (diff) | |
Fix missing "= true" in a tactic so [Admitted] is unneccesary.
Co-authored-by: Jason Gross <jgross@mit.edu>
Diffstat (limited to 'src/Fancy')
0 files changed, 0 insertions, 0 deletions