diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2011-08-02 10:57:21 -0700 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2011-08-02 10:57:21 -0700 |
| commit | 0e8cbbea071a5cc924edd3764ab4b0f2d89af36c (patch) | |
| tree | e6fbc79605690cfd40f0eaec5e4713158edc7fd0 /Source/Houdini/Houdini.csproj | |
| parent | bc582e19786c65968536ac7f14479fdd24f4b8d0 (diff) | |
Unicode surrogate characters cannot be handled by Boogie. For now (forever?)
just delete them from the identifier that represents each literal string.
Diffstat (limited to 'Source/Houdini/Houdini.csproj')
0 files changed, 0 insertions, 0 deletions