diff options
| author |  wuestholz <unknown> | 2013-06-03 17:17:53 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-03 17:17:53 -0700 |
| commit | 074560ed4738e7cb92491f332840c869593a0bde (patch) | |
| tree | 014f46e65e0c671188e0ebbd7276f3a380230673 /Source/DafnyDriver | |
| parent | 571a0972235c7f8eab4f808daf3554a13febcb8e (diff) | |
Did some refactoring of the Dafny drivers.
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 95d2b7bb..8fec9214 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -133,13 +133,13 @@ <Reference Include="ExecutionEngine">
<HintPath>..\..\..\boogie\Binaries\ExecutionEngine.dll</HintPath>
</Reference>
- <Reference Include="Provers.SMTLib">
- <HintPath>..\..\..\boogie\Binaries\Provers.SMTLib.dll</HintPath>
- </Reference>
<Reference Include="ParserHelper, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
<HintPath>..\..\..\boogie\Binaries\ParserHelper.dll</HintPath>
</Reference>
+ <Reference Include="Provers.SMTLib">
+ <HintPath>..\..\..\boogie\Binaries\Provers.SMTLib.dll</HintPath>
+ </Reference>
<Reference Include="System" />
<Reference Include="System.Data" />
<Reference Include="System.Xml" />
|