From 3b95e484b2e097534bf150edc87bc1b19b5892bf Mon Sep 17 00:00:00 2001
From: schaef <unknown>
Date: Tue, 15 Mar 2011 02:58:31 +0000
Subject: new algorithm for dead code detection (vc:doomed)

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

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

diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index 1d4cc566..ff10acbe 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -148,7 +148,10 @@
     <Compile Include="ConditionGeneration.cs" />
     <Compile Include="Context.cs" />
     <Compile Include="DoomCheck.cs" />
+    <Compile Include="DoomedLoopUnrolling.cs" />
+    <Compile Include="DoomedStrategy.cs" />
     <Compile Include="DoomErrorHandler.cs" />
+    <Compile Include="HasseDiagram.cs" />
     <Compile Include="OrderingAxioms.cs" />
     <Compile Include="StratifiedVC.cs" />
     <Compile Include="VC.cs" />
-- 
cgit v1.2.3