diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-06-16 22:51:51 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-06-16 22:51:51 -0700 |
| commit | 35719fdd7e30445adb294a1f659def227e93c8ce (patch) | |
| tree | 93d2ce02d8b285ea4d5e195eea336024a7a586d2 /BCT/BytecodeTranslator/ExpressionTraverser.cs | |
| parent | 330b7484f79e4e484782a3c1f5b08966b7891de0 (diff) | |
Dafny: fixed accidental omission of CaptureState after some assignments
Diffstat (limited to 'BCT/BytecodeTranslator/ExpressionTraverser.cs')
0 files changed, 0 insertions, 0 deletions