diff options
Diffstat (limited to 'BCT/BytecodeTranslator/TranslationHelper.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/TranslationHelper.cs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/BCT/BytecodeTranslator/TranslationHelper.cs b/BCT/BytecodeTranslator/TranslationHelper.cs index 9adc3da3..335ce6ee 100644 --- a/BCT/BytecodeTranslator/TranslationHelper.cs +++ b/BCT/BytecodeTranslator/TranslationHelper.cs @@ -167,11 +167,7 @@ namespace BytecodeTranslator { s = s.Replace(']', '$');
s = s.Replace('|', '$');
s = s.Replace('+', '$');
- s = s.Replace('’', '$');
- s= s.Replace('€', '$');
- s = s.Replace('•', '$');
- s = s.Replace('£', '$');
- s = s.Replace('¥', '$');
+
s = GetRidOfSurrogateCharacters(s);
return s;
}
@@ -181,6 +177,7 @@ namespace BytecodeTranslator { /// http://msdn.microsoft.com/en-us/library/dd374069(v=VS.85).aspx
/// </summary>
private static string GetRidOfSurrogateCharacters(string s) {
+ // TODO this is not enough! Actually Boogie cannot support UTF8
var cs = s.ToCharArray();
var okayChars = new char[cs.Length];
for (int i = 0, j = 0; i < cs.Length; i++) {
|