From 80c28778dab92eeb8be938fd5202b6acf80cc464 Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Wed, 14 Jul 2010 21:16:29 +0000
Subject: Fixed reference to InterimKey.snk.

---
 Source/Provers/Isabelle/Isabelle.csproj | 5 +----
 1 file changed, 1 insertion(+), 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.
-- 
cgit v1.2.3