Major changes to the translator traversers because they now are based on the

new traversers. (The old ones have been marked as obsolete.)
All types are now encoded as "datatypes" in Boogie. So non-generic types are
nullary functions and generic types just have at least one type argument.
Lots of other fixes: string encoding of names is now done by negating Boogie's
regular expression for identifiers, etc.

1 files changed, 3 insertions, 1 deletions

diff --git a/BCT/BytecodeTranslator/TranslationPlugins/Translators/PhoneFeedbackTranslator.cs b/BCT/BytecodeTranslator/TranslationPlugins/Translators/PhoneFeedbackTranslator.cs
index f2932ac0..ffd6fe52 100644
--- a/BCT/BytecodeTranslator/TranslationPlugins/Translators/PhoneFeedbackTranslator.cs
+++ b/BCT/BytecodeTranslator/TranslationPlugins/Translators/PhoneFeedbackTranslator.cs
@@ -28,7 +28,9 @@ namespace BytecodeTranslator.TranslationPlugins.Translators {
     }

 

     public override void TranslateAssemblies(IEnumerable<Microsoft.Cci.IUnit> assemblies) {

-      traverser.Visit(assemblies);

+      foreach (var a in assemblies) {

+        traverser.Traverse((IAssembly)a);

+      }

     }

   }

 }