diff options
| author |  Rustan Leino <unknown> | 2014-07-09 17:26:48 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-07-09 17:26:48 -0700 |
| commit | 0b49381e22c87a75e39fd898a63e18145e027f3f (patch) | |
| tree | b57bdae049372d604212ac6873f7d063d5ae0692 /Test/dafny2 | |
| parent | ab108416940185d30d9e80ef5404d2c222c5837c (diff) | |
Include an explicit trigger to make NumberRepresentations.dfy behave more consistently. (There is a future opportunity to heuristically figure out such triggers.)
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions