diff options
| author |  wuestholz <unknown> | 2013-06-03 16:57:05 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-03 16:57:05 -0700 |
| commit | 571a0972235c7f8eab4f808daf3554a13febcb8e (patch) | |
| tree | 0b2e675bd205e1ce3cf570d8c30af489457b7565 /Source/DafnyExtension/DafnyExtension.csproj | |
| parent | bf3d3fb3691cd4c64d79d084923377253cfa4dc1 (diff) | |
Did some refactoring of the Dafny drivers.
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 4 |
1 files changed, 4 insertions, 0 deletions
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>
|