diff options
author | MichalMoskal <unknown> | 2010-10-12 02:02:17 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-10-12 02:02:17 +0000 |
commit | 34e754445e5e8a4ec5c4d0ec55a2fb4d9c80d9ae (patch) | |
tree | 74a092b3c721a9e9e44d5ca06785738cd8765987 /Source/VCGeneration/VCGeneration.csproj | |
parent | 83059c03c7a73b319d9fc24d053ce6b2319f330c (diff) |
Put Model.cs in separate assembly. Fix signing/versioning with it.
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
-rw-r--r-- | Source/VCGeneration/VCGeneration.csproj | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index cd4408c7..bb599418 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -118,7 +118,6 @@ <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" />
@@ -145,6 +144,10 @@ <Project>{69A2B0B8-BCAC-4101-AE7A-556FCC58C06E}</Project>
<Name>Graph</Name>
</ProjectReference>
+ <ProjectReference Include="..\Model\Model.csproj">
+ <Project>{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}</Project>
+ <Name>Model</Name>
+ </ProjectReference>
<ProjectReference Include="..\VCExpr\VCExpr.csproj">
<Project>{56FFDBCA-7D14-43B8-A6CA-22A20E417EE1}</Project>
<Name>VCExpr</Name>
|