diff options
author | 2011-12-30 09:52:44 -0800 | |
---|---|---|
committer | 2011-12-30 09:52:44 -0800 | |
commit | efd4c50263b33e9b5861087dd1000fca56d50211 (patch) | |
tree | b5fc0808eff96a7bf214d74803fd1d9bca2cb8e1 /BCT/BytecodeTranslator/Program.cs | |
parent | 632fab8f4609ef7cb1d00af37b711bc4a420422e (diff) |
problem fixed after CCI update
Diffstat (limited to 'BCT/BytecodeTranslator/Program.cs')
-rw-r--r-- | BCT/BytecodeTranslator/Program.cs | 2 |
1 files changed, 1 insertions, 1 deletions
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));
|