diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-03-02 12:06:22 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-03-02 12:06:22 -0800 |
| commit | b07e5b62739645a6a3a4018b41c0e8690f0e10ff (patch) | |
| tree | 8fa82e41be7a5623e9d6bf115b2046ea5ffdfd59 /Test/dafny0 | |
| parent | 90fb97596ed8068be758b5e9b6b7853fe0cb7cba (diff) | |
small fix for a bug I introduced during the refactoring of InferAndVerify
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions