diff options
author | akashlal <unknown> | 2010-11-23 07:06:26 +0000 |
---|---|---|
committer | akashlal <unknown> | 2010-11-23 07:06:26 +0000 |
commit | 6de6a788ea56b36b802e7b44fe67199c3b7b7e53 (patch) | |
tree | 472a1e8d9bb73dab52e724475d8389991dff571a /Source/VCGeneration/VCGeneration.csproj | |
parent | fd9227b188714c56402024a42b5d07e7d73d8fbc (diff) |
Refactoring: pulled out all code for stratified inlining to a new file.
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 bb599418..a7a57a2f 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="StratifiedVC.cs" />
<Compile Include="VC.cs" />
<Compile Include="VCDoomed.cs" />
<Compile Include="..\version.cs" />
|