diff options
| author |  tabarbe <unknown> | 2010-07-16 21:50:00 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-16 21:50:00 +0000 |
| commit | c6de9d4b8b13e4cd41ace4a207790b66940d7870 (patch) | |
| tree | e5804fd97ce5de2508d501f826d5a1f1bf4162ed | |
| parent | b0b50edca3da937778bbb3f1d53029fa1a9ec3cf (diff) | |
<Boogie> Removed references to AssemblyInfo.cs files - unnecessary for the building/execution of the program
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 1 | ||||
| -rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 31a0ce3f..a915d9c9 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -90,6 +90,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="BoogieDriver.cs" />
+ <Compile Include="version.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\AIFramework\AIFramework.sscproj">
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index 036e557a..94ccdfba 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -96,6 +96,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="Prover.cs" />
+ <Compile Include="version.cs" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
|