diff options
author | Rustan Leino <unknown> | 2016-02-08 18:58:34 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2016-02-08 18:58:34 -0800 |
commit | 6398bd0f46ed66790d193a4dbcde3e2c0314b833 (patch) | |
tree | 60d67e94a2d37b5fde79822a752cee36f89fc9bc /Test/dafny0/TriggerInPredicate.dfy | |
parent | 0d08ec191bf3f15ae89dc243877d9295b3004bc6 (diff) |
Renamed identifiers for increased geopolitical appeal
Diffstat (limited to 'Test/dafny0/TriggerInPredicate.dfy')
0 files changed, 0 insertions, 0 deletions