From 9138e7c13a7161b6431857c6b29157cdcaa26821 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 26 Jul 2013 15:37:04 -0700
Subject: DafnyExtension: minor change

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

(limited to 'Source/DafnyMenu')

diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj
index e8decbf8..8c528f31 100644
--- a/Source/DafnyMenu/DafnyMenu.csproj
+++ b/Source/DafnyMenu/DafnyMenu.csproj
@@ -48,6 +48,9 @@
     <Reference Include="DafnyPipeline">
       <HintPath>..\..\Binaries\DafnyPipeline.dll</HintPath>
     </Reference>
+    <Reference Include="Model">
+      <HintPath>..\..\..\boogie\Binaries\Model.dll</HintPath>
+    </Reference>
     <Reference Include="ModelViewer">
       <HintPath>..\..\..\boogie\Binaries\ModelViewer.dll</HintPath>
     </Reference>
-- 
cgit v1.2.3