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.csproj1
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj
index 72505069..cd4408c7 100644
--- a/Source/VCGeneration/VCGeneration.csproj
+++ b/Source/VCGeneration/VCGeneration.csproj
@@ -118,6 +118,7 @@
<Compile Include="DoomCheck.cs" />
<Compile Include="DoomErrorHandler.cs" />
<Compile Include="OrderingAxioms.cs" />
+ <Compile Include="Model.cs" />
<Compile Include="VC.cs" />
<Compile Include="VCDoomed.cs" />
<Compile Include="..\version.cs" />