From d598ca752a1f163966f95bc19bf219bc5ae097f5 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Sun, 8 Dec 2013 20:18:33 -0800
Subject: removed bitvector analysis from Boogie an advanced version has been
 moved to Corral

---
 Source/Core/Core.csproj | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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

diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index 8be4cda9..a5231853 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
 <Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
   <PropertyGroup>
     <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -164,7 +164,6 @@
     <Compile Include="AbsyExpr.cs" />
     <Compile Include="AbsyQuant.cs" />
     <Compile Include="AbsyType.cs" />
-    <Compile Include="BitvectorAnalysis.cs" />
     <Compile Include="InterProceduralReachabilityGraph.cs" />
     <Compile Include="CommandLineOptions.cs" />
     <Compile Include="DeadVarElim.cs" />
@@ -233,4 +232,4 @@
   <Target Name="AfterBuild">
   </Target>
   -->
-</Project>
+</Project>
\ No newline at end of file
-- 
cgit v1.2.3