diff options
| author |  Rustan Leino <unknown> | 2013-12-17 15:15:53 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-12-17 15:15:53 -0800 |
| commit | 69690cc00356be153b2598cce3abb228d1cc5a33 (patch) | |
| tree | 3e1630a9dae215bd59610098e0d0a0425f280f65 /Test/vstte2012/Combinators.dfy | |
| parent | 968d203bfd0254b496f93664303e84da9795d170 (diff) | |
Don't expand {:opaque} for inherited functions. (Note, more design is still needed to handle the combination of opaque and refinement well.)
Diffstat (limited to 'Test/vstte2012/Combinators.dfy')
0 files changed, 0 insertions, 0 deletions