diff options
author | 2015-03-31 09:17:26 -0700 | |
---|---|---|
committer | 2015-03-31 09:17:26 -0700 | |
commit | b4b193a05571b243d50a832dae58e837e779b710 (patch) | |
tree | e4c2f9707ee8c9bcb449a5e61b9d89be6f1cb7bc /Test/dafny0/Comprehensions.dfy.expect | |
parent | 441eca2a4c02efcc555cb8ca25ac991ccee205f8 (diff) |
Fix issue 61. Decreases are by default in ghost context. Therefore,
dontCareAboutCompilation flag should be set to false in the ResolveOpts.
Diffstat (limited to 'Test/dafny0/Comprehensions.dfy.expect')
0 files changed, 0 insertions, 0 deletions