diff options
| author |  Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-15 10:30:35 -0700 |
|---|---|---|
| committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-15 10:30:35 -0700 |
| commit | 6138ea13b5116eef41eeec5b59a13cc9c12ffcfa (patch) | |
| tree | 22ab8be9e2c5362a8c98dc9bf88a5f305184ee11 /LICENSE | |
| parent | fe501d243c0413db8ae85bda174d0761da00d330 (diff) | |
[IronDafny] fix for ambiguous identifier error.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions