merge

1 files changed, 4 insertions, 2 deletions

diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs
index cdc1c8a3..78c818bd 100644
--- a/BCT/BytecodeTranslator/TraverserFactory.cs
+++ b/BCT/BytecodeTranslator/TraverserFactory.cs
@@ -18,9 +18,11 @@ using Bpl = Microsoft.Boogie;
 

 namespace BytecodeTranslator {

   public abstract class TraverserFactory {

-    public virtual MetadataTraverser MakeMetadataTraverser(Sink sink, IContractProvider contractProvider, PdbReader/*?*/ pdbReader)

+    public virtual MetadataTraverser MakeMetadataTraverser(Sink sink,

+      IDictionary<IUnit, IContractProvider> contractProviders, // TODO: remove this parameter?

+      IDictionary<IUnit, PdbReader> sourceLocationProviders)

     {

-      return new MetadataTraverser(sink, pdbReader);

+      return new MetadataTraverser(sink, sourceLocationProviders);

     }

     public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader, bool contractContext) {

       return new StatementTraverser(sink, pdbReader, contractContext);