Merge

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++) {