diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 14:07:34 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 14:07:34 -0700 |
| commit | 71b527bf4084763bb48c5c9fc44fc2ee456415d6 (patch) | |
| tree | d9995be1ff1a5495af6d1810cc4f3616e0e85c71 /Util/Code Snippets/contractrequiresnonnullelem.snippet | |
| parent | dce966347df8c56502145cf681a8df4d3a2d9e7b (diff) | |
Dafny: allow "_" as don't-care variable name
Diffstat (limited to 'Util/Code Snippets/contractrequiresnonnullelem.snippet')
0 files changed, 0 insertions, 0 deletions