From b23a93d04bd66014854af44258264f9867c73f55 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Sun, 20 Apr 2014 21:08:11 -0700
Subject: added simulation relation computation to yield type checking updated
 the type check to incorporate {:terminates} annotation

---
 Source/Concurrency/Concurrency.csproj | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/Source/Concurrency/Concurrency.csproj b/Source/Concurrency/Concurrency.csproj
index 2d2b7d12..c245d05a 100644
--- a/Source/Concurrency/Concurrency.csproj
+++ b/Source/Concurrency/Concurrency.csproj
@@ -11,7 +11,7 @@
     <AssemblyName>Concurrency</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
     <FileAlignment>512</FileAlignment>
-    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile>
+    <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'">Client</TargetFrameworkProfile>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
     <PlatformTarget>AnyCPU</PlatformTarget>
@@ -76,6 +76,7 @@
     <Compile Include="OwickiGries.cs" />
     <Compile Include="Program.cs" />
     <Compile Include="Properties\AssemblyInfo.cs" />
+    <Compile Include="SimulationRelation.cs" />
     <Compile Include="TypeCheck.cs" />
     <Compile Include="YieldTypeChecker.cs" />
   </ItemGroup>
-- 
cgit v1.2.3