diff options
author | wuestholz <unknown> | 2013-06-03 16:40:20 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-03 16:40:20 -0700 |
commit | 6eb7df44c4445a9f8ebd3ca1bef6aeb9923e74b8 (patch) | |
tree | d98a69ca06788419c2ec76dc445732f60f235043 /Source/DafnyDriver/DafnyDriver.csproj | |
parent | a7404e67b9486d1949e293c110f05746a8185f2e (diff) |
Did some refactoring of the Dafny drivers.
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.csproj')
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 61ca8593..95d2b7bb 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -130,6 +130,9 @@ <Reference Include="Core">
<HintPath>..\..\..\boogie\Binaries\Core.dll</HintPath>
</Reference>
+ <Reference Include="ExecutionEngine">
+ <HintPath>..\..\..\boogie\Binaries\ExecutionEngine.dll</HintPath>
+ </Reference>
<Reference Include="Provers.SMTLib">
<HintPath>..\..\..\boogie\Binaries\Provers.SMTLib.dll</HintPath>
</Reference>
|