From 87c0032929201ede6b8d93c1d9f6af36ef272f7d Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sat, 23 Nov 2013 13:27:13 +0100
Subject: Fixed build failures due to changes in Boogie.

---
 Source/DafnyDriver/DafnyDriver.csproj | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Source/DafnyDriver')

diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj
index 94794cd2..912fd38e 100644
--- a/Source/DafnyDriver/DafnyDriver.csproj
+++ b/Source/DafnyDriver/DafnyDriver.csproj
@@ -127,6 +127,9 @@
     <Reference Include="AbsInt">
       <HintPath>..\..\..\boogie\Binaries\AbsInt.dll</HintPath>
     </Reference>
+    <Reference Include="Concurrency">
+      <HintPath>..\..\..\boogie\Binaries\Concurrency.dll</HintPath>
+    </Reference>
     <Reference Include="Core">
       <HintPath>..\..\..\boogie\Binaries\Core.dll</HintPath>
     </Reference>
-- 
cgit v1.2.3