summaryrefslogtreecommitdiff
path: root/Source/VCGeneration/VCGeneration.csproj
diff options
context:
space:
mode:
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
-rw-r--r--Source/VCGeneration/VCGeneration.csproj3
1 files changed, 3 insertions, 0 deletions
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" />