From efd4c50263b33e9b5861087dd1000fca56d50211 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Fri, 30 Dec 2011 09:52:44 -0800
Subject: problem fixed after CCI update

---
 BCT/BytecodeTranslator/Program.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'BCT/BytecodeTranslator/Program.cs')

diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs
index 9efe1e28..eaef7e40 100644
--- a/BCT/BytecodeTranslator/Program.cs
+++ b/BCT/BytecodeTranslator/Program.cs
@@ -251,7 +251,7 @@ namespace BytecodeTranslator {
         }
         var m2 = Decompiler.GetCodeModelFromMetadataModel(host, m, pdbReader) as IModule;
         // The decompiler does not turn calls to Assert/Assume into Code Model nodes
-        m2 = new Microsoft.Cci.MutableContracts.ContractExtractor.AssertAssumeExtractor(host, pdbReader).Visit(m2);
+        m2 = new Microsoft.Cci.MutableContracts.ContractExtractor.AssertAssumeExtractor(host, pdbReader).Rewrite(m2);
         decompiledModules.Add(m2);
         host.RegisterAsLatest(m2);
         contractExtractors.Add(m2, host.GetContractExtractor(m2.UnitIdentity));
-- 
cgit v1.2.3