diff options
| author |  qunyanm <unknown> | 2015-04-16 09:50:34 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-04-16 09:50:34 -0700 |
| commit | d95b2c8dd46bb52c6c84f2b764d3e6211b403346 (patch) | |
| tree | a6e44c901525b057117315afbb39511e0ad9613f /Test/dafny4/Bug68.dfy | |
| parent | 38134c5587ea53e71290e2e8ea9915062172865b (diff) | |
Fix issue #71. When substitute the forall's variables for those of the
fn in fixupRevealLemma substitute the types as well.
Diffstat (limited to 'Test/dafny4/Bug68.dfy')
0 files changed, 0 insertions, 0 deletions