Did some refactoring of the Dafny drivers.

2 files changed, 6 insertions, 7 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index d8308688..6a974694 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -1,17 +1,12 @@
 using System;

 using System.Collections.Generic;

-using System.Linq;

-using System.Text;

-using System.IO;

-using System.Diagnostics;

 using System.Diagnostics.Contracts;

+using Microsoft.Boogie;

+using VC;

 // Here come the Dafny/Boogie specific imports

 //using PureCollections;

 using Bpl = Microsoft.Boogie;

 using Dafny = Microsoft.Dafny;

-using Microsoft.Boogie.AbstractInterpretation;

-using VC;

-using Core;

 // using AI = Microsoft.AbstractInterpretationFramework;

 

 

diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj
index bef376f4..13045b13 100644
--- a/Source/DafnyExtension/DafnyExtension.csproj
+++ b/Source/DafnyExtension/DafnyExtension.csproj
@@ -108,6 +108,10 @@
     <Reference Include="EnvDTE, Version=8.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a">

       <EmbedInteropTypes>False</EmbedInteropTypes>

     </Reference>

+    <Reference Include="ExecutionEngine, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

+      <SpecificVersion>False</SpecificVersion>

+      <HintPath>..\..\..\boogie\Binaries\ExecutionEngine.dll</HintPath>

+    </Reference>

     <Reference Include="Graph, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">

       <SpecificVersion>False</SpecificVersion>

       <HintPath>..\..\..\boogie\Binaries\Graph.dll</HintPath>