diff options
| author |  rustanleino <unknown> | 2009-10-29 06:24:45 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-10-29 06:24:45 +0000 |
| commit | 6e6e73bc7434953c6f704604009c30b95be8e1b0 (patch) | |
| tree | a8e538a9fdb9a88e181e66207f6fceca1c2a0f12 /Binaries | |
| parent | d885cae1cdc2e4224622696ff6dbed7d958edcf3 (diff) | |
Fixed problem where Dafny filenames with unusual characters in filenames had caused malformed Boogie and malformed VCs. In particular, the problem arose in the CEV $file_name_is declarations. Such characters are now replaced by a percent sign followed by a four-digit hexadecimal number representing the Unicode value of the character.
This fixes issue #6057.
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions