diff options
| author |  Rustan Leino <unknown> | 2014-05-05 16:45:03 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-05-05 16:45:03 -0700 |
| commit | da70d7149e435bfc83962b3814bc173840b5006f (patch) | |
| tree | e684916fd216be1af409205d2880387097e481e0 /Test/dafny0/CoinductiveProofs.dfy | |
| parent | 6fe4e73ffcc88953e3b19f5e56d176d67ac9547e (diff) | |
Fixed some bugs where various attributes were not properly visited during type checking.
Diffstat (limited to 'Test/dafny0/CoinductiveProofs.dfy')
0 files changed, 0 insertions, 0 deletions