From 0faac5618039d3617b676c24e9465f712072adf3 Mon Sep 17 00:00:00 2001 From: tabarbe 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/VCGeneration/VCGeneration.csproj | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Source/VCGeneration/VCGeneration.csproj') diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index d6890363..d06cb13f 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -77,6 +77,7 @@ + @@ -101,8 +102,8 @@ {B230A69C-C466-4065-B9C1-84D80E76D802} Core - - {4C28FB90-630E-4B55-A937-11A011B79765} + + {69A2B0B8-BCAC-4101-AE7A-556FCC58C06E} Graph -- cgit v1.2.3