From 0faac5618039d3617b676c24e9465f712072adf3 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 27 Aug 2010 00:29:15 +0000
Subject: Boogie: Graph port 3/3: Committing changed references; also, adding
 back cce files, to ease between-project conflict.  Will trim these back off
 after commit of Basetypes port in ~20 min.

---
 Source/AbsInt/AbsInt.csproj | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index c5601053..62d90dff 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -81,6 +81,7 @@
   </ItemGroup>
   <ItemGroup>
     <Compile Include="AbstractInterpretation.cs" />
+    <Compile Include="cce.cs" />
     <Compile Include="ExprFactories.cs" />
     <Compile Include="LoopInvariantsOnDemand.cs" />
     <Compile Include="Traverse.cs" />
-- 
cgit v1.2.3