diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-01-18 23:23:10 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-01-18 23:23:10 -0800 |
| commit | 0f380d0d99aa2439b59814ec43305bc18cb0ff64 (patch) | |
| tree | f527593a7eba5b3e63230b4a73207180bdcf3c87 /Test/dafny0/ReturnErrors.dfy | |
| parent | d2d89cd3ce7fabaa597ada1a7749944353e46d0a (diff) | |
Some refactoring to get rid of a no-longer-needed parameter
Diffstat (limited to 'Test/dafny0/ReturnErrors.dfy')
0 files changed, 0 insertions, 0 deletions