diff options
| author |  mikebarnett <unknown> | 2010-07-14 21:16:29 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-14 21:16:29 +0000 |
| commit | 80c28778dab92eeb8be938fd5202b6acf80cc464 (patch) | |
| tree | 28b4533ea0105bd0fddefcc51899e2d6c4842386 /Source/Provers | |
| parent | 6aec6c6c976832f02f3d8986df3d7a54f7edbf3a (diff) | |
Fixed reference to InterimKey.snk.
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj index 049f5dd5..73eb6bdc 100644 --- a/Source/Provers/Isabelle/Isabelle.csproj +++ b/Source/Provers/Isabelle/Isabelle.csproj @@ -13,7 +13,7 @@ <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<SignAssembly>true</SignAssembly>
- <AssemblyOriginatorKeyFile>InterimKey.snk</AssemblyOriginatorKeyFile>
+ <AssemblyOriginatorKeyFile>..\..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -67,9 +67,6 @@ <ItemGroup>
<Compile Include="Prover.cs" />
</ItemGroup>
- <ItemGroup>
- <None Include="InterimKey.snk" />
- </ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
|