From 9a9991f2131de8e78035581ea2569ba187318ff0 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Tue, 7 May 2013 17:40:40 -0700
Subject: Adding fixedpoint engine backend

---
 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 0c98a891..f724307b 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -147,7 +147,10 @@
     <Compile Include="Check.cs" />
     <Compile Include="ConditionGeneration.cs" />
     <Compile Include="Context.cs" />
+    <Compile Include="ExprExtensions.cs" />
+    <Compile Include="FixedpointVC.cs" />
     <Compile Include="OrderingAxioms.cs" />
+    <Compile Include="RPFP.cs" />
     <Compile Include="StratifiedVC.cs" />
     <Compile Include="VC.cs" />
     <Compile Include="..\version.cs" />
-- 
cgit v1.2.3