From d3c0a64687656cfc102c21e132eec072efc81b67 Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Thu, 24 Jan 2013 22:06:06 -0800
Subject: first check in of Owicki-Gries and linear sets

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

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

diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index 49639822..eb581edd 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -157,8 +157,10 @@
     <Compile Include="Duplicator.cs" />
     <Compile Include="Inline.cs" />
     <Compile Include="LambdaHelper.cs" />
+    <Compile Include="LinearSets.cs" />
     <Compile Include="LoopUnroll.cs" />
     <Compile Include="OOLongUtil.cs" />
+    <Compile Include="OwickiGries.cs" />
     <Compile Include="Parser.cs" />
     <Compile Include="PureCollections.cs" />
     <Compile Include="ResolutionContext.cs" />
-- 
cgit v1.2.3