diff options
author | Rustan Leino <unknown> | 2015-07-24 21:12:30 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2015-07-24 21:12:30 -0700 |
commit | 2b2050060b9eb8cb123af6df942ebebe7fe6d52c (patch) | |
tree | f35c551c5e91d6c2285172dfe7f38f9899a493ff /Test/dafny0/RefinementErrors.dfy.expect | |
parent | 1ca106492d5680c29bfa83b34ff79f7ff8407db7 (diff) |
Renamed "ghost method" to "lemma" in a couple of test files
Diffstat (limited to 'Test/dafny0/RefinementErrors.dfy.expect')
0 files changed, 0 insertions, 0 deletions