1 files changed, 6 insertions, 0 deletions
diff --git a/BCT/BytecodeTranslator/CLRSemantics.cs b/BCT/BytecodeTranslator/CLRSemantics.cs
index 55f0cd46..ddf85c6f 100644
--- a/BCT/BytecodeTranslator/CLRSemantics.cs
+++ b/BCT/BytecodeTranslator/CLRSemantics.cs
@@ -15,11 +15,17 @@ using Microsoft.Cci.Contracts;
 using Microsoft.Cci.ILToCodeModel;
 
 using Bpl = Microsoft.Boogie;
+using BytecodeTranslator.TranslationPlugins;
 
 namespace BytecodeTranslator {
 
   public class CLRSemantics : TraverserFactory {
 
+    public override Translator getTranslator(Sink sink, IDictionary<IUnit, IContractProvider> contractProviders, IDictionary<IUnit, PdbReader> pdbReaders) {
+      Translator translator = new BaseTranslator(this, sink, contractProviders, pdbReaders);
+      return translator;
+    }
+
     public override ExpressionTraverser MakeExpressionTraverser(Sink sink, StatementTraverser/*?*/ statementTraverser, bool contractContext) {
       return new CLRExpressionSemantics(sink, statementTraverser, contractContext);
     }