From cf81e610ba128610007ed49cd79980c830d79752 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 8 Oct 2010 21:23:51 +0000
Subject: Add the new model interface. Untested, doesn't yet include state
 sequence

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

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

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" />
-- 
cgit v1.2.3