Adapt to new APIs in CCI.

1 files changed, 2 insertions, 2 deletions

diff --git a/BCT/RegressionTests/TranslationTest/UnitTest0.cs b/BCT/RegressionTests/TranslationTest/UnitTest0.cs
index 9d487184..5079cc64 100644
--- a/BCT/RegressionTests/TranslationTest/UnitTest0.cs
+++ b/BCT/RegressionTests/TranslationTest/UnitTest0.cs
@@ -62,7 +62,7 @@ namespace TranslationTest {
 

     private string ExecuteTest(string assemblyName) {

 

-      var host = new Microsoft.Cci.ILToCodeModel.CodeContractAwareHostEnvironment();

+      var host = new Microsoft.Cci.MutableContracts.CodeContractAwareHostEnvironment();

       BCT.Host = host;

 

       IModule/*?*/ module = host.LoadUnitFrom(assemblyName) as IModule;

@@ -80,7 +80,7 @@ namespace TranslationTest {
         pdbReader = new PdbReader(pdbStream, host);

       }

 

-      module = Decompiler.GetCodeAndContractModelFromMetadataModel(host, module, pdbReader);

+      module = Decompiler.GetCodeModelFromMetadataModel(host, module, pdbReader);

 

       #region Pass 3: Translate the code model to BPL

       var factory = new CLRSemantics();