diff options
| author |  Jason Koenig <unknown> | 2012-07-03 17:01:39 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-03 17:01:39 -0700 |
| commit | 17bb3df3ed05cb1687008f5741e3be6fc71d0266 (patch) | |
| tree | ffc84cdb59dd00e6461d2335a4d3634041611a7a /Source/VCGeneration/Check.cs | |
| parent | 00b34d6e45210f739f4c7f806b274014d7477b7e (diff) | |
Dafny: added static members of _default to the module level scope, at low priority.
Diffstat (limited to 'Source/VCGeneration/Check.cs')
0 files changed, 0 insertions, 0 deletions