diff options
| author | Jim Fehrle | 2018-08-08 18:45:47 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2018-09-17 10:33:27 -0700 |
| commit | a828bcedb8ad60c5b1f4cf71f92f24f2c1197ecb (patch) | |
| tree | 372fd5a8c6f880db4f246ea5b6f498a7393bc737 /ide | |
| parent | f1482433ff225831d9937753f946cff2577b9309 (diff) | |
Ensure_prev_proof returns a proof that has underlying differences from
the specified version (i.e., skip over versions with proofview-only differences).
Diffstat (limited to 'ide')
0 files changed, 0 insertions, 0 deletions