diff options
Diffstat (limited to 'Source/VCExpr/VCExpr.csproj')
-rw-r--r-- | Source/VCExpr/VCExpr.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj index 05b12234..b2f61e8c 100644 --- a/Source/VCExpr/VCExpr.csproj +++ b/Source/VCExpr/VCExpr.csproj @@ -75,6 +75,7 @@ <ItemGroup>
<Compile Include="BigLiteralAbstracter.cs" />
<Compile Include="Boogie2VCExpr.cs" />
+ <Compile Include="cce.cs" />
<Compile Include="Clustering.cs" />
<Compile Include="LetBindingSorter.cs" />
<Compile Include="NameClashResolver.cs" />
|