diff options
| author |  mueller <unknown> | 2010-06-25 18:40:15 +0000 |
|---|---|---|
| committer | mueller <unknown> | 2010-06-25 18:40:15 +0000 |
| commit | 4aa8fe117b03c0cd3781308d9b2c48d7ca9f4aff (patch) | |
| tree | fb62dc0f895e05a65f25f8cd48de5ad9d50899af /Chalice/src/Parser.scala | |
| parent | 6da9d946cab8aeb7306de50a7470e3a14c7e2e9c (diff) | |
Chalice: Applied patch #6192
Patches the translation of "assert" statements, so that the meaning of "old" is preserved when the temporary copy of the heap is made for the exhale.
Diffstat (limited to 'Chalice/src/Parser.scala')
0 files changed, 0 insertions, 0 deletions