From 7d683795bba785bed77e9357e0bfd7754226f643 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Thu, 4 Aug 2011 18:31:13 -0700
Subject: cleaned up houdini options

---
 Source/BoogieDriver/BoogieDriver.csproj | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Source/BoogieDriver/BoogieDriver.csproj')

diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index 95078433..52714dc9 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -172,6 +172,10 @@
       <Project>{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}</Project>
       <Name>Graph</Name>
     </ProjectReference>
+    <ProjectReference Include="..\Houdini\Houdini.csproj">
+      <Project>{CF41E903-78EB-43BA-A355-E5FEB5ECECD4}</Project>
+      <Name>Houdini</Name>
+    </ProjectReference>
     <ProjectReference Include="..\ParserHelper\ParserHelper.csproj">
       <Project>{FCD3AC7F-9DFD-46C8-AB1E-09F0B0F16DC5}</Project>
       <Name>ParserHelper</Name>
-- 
cgit v1.2.3