diff options
| author |  kyessenov <unknown> | 2010-07-14 22:28:38 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-07-14 22:28:38 +0000 |
| commit | b76e2ef91b434ce9ca291a608272ebccbbea2aae (patch) | |
| tree | 28bb3c56100be32874f560b91ba7d8723fd93ed3 | |
| parent | 4657f16dd8b515eb845c5555827d419030959db3 (diff) | |
Fix for cyrptographic signing error.
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index 4b45892b..5cc4ea15 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -14,7 +14,7 @@ <FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
<SignAssembly>true</SignAssembly>
- <AssemblyOriginatorKeyFile>InterimKey.snk</AssemblyOriginatorKeyFile>
+ <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>
@@ -147,4 +147,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
\ No newline at end of file +</Project>
|