diff options
author | MichalMoskal <unknown> | 2010-10-08 21:23:51 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-10-08 21:23:51 +0000 |
commit | cf81e610ba128610007ed49cd79980c830d79752 (patch) | |
tree | a8607157f0aceed667efc69c9a2888c7c2c91a55 /Source/VCGeneration/VCGeneration.csproj | |
parent | ab07343e266e65b98cbe1dd9f79d632e5612326a (diff) |
Add the new model interface. Untested, doesn't yet include state sequence
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
-rw-r--r-- | Source/VCGeneration/VCGeneration.csproj | 1 |
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" />
|