diff options
| author |  qadeer <unknown> | 2010-06-10 20:34:54 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-06-10 20:34:54 +0000 |
| commit | 5dddcccf78dbd7752963c5fe9da288697ccd27eb (patch) | |
| tree | 03c420dcf5bf9703857150539782b26108f0eed9 /Test/dafny1/SchorrWaite.dfy | |
| parent | 4d820aa2bcac196188edf21bd52939e1d2031bce (diff) | |
fixed a compiler warning about initialization of a non-null field inside the LoopUnroll constructor
Diffstat (limited to 'Test/dafny1/SchorrWaite.dfy')
0 files changed, 0 insertions, 0 deletions