diff options
Diffstat (limited to 'Source/Provers/Isabelle/Properties/AssemblyInfo.cs')
-rw-r--r-- | Source/Provers/Isabelle/Properties/AssemblyInfo.cs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Source/Provers/Isabelle/Properties/AssemblyInfo.cs b/Source/Provers/Isabelle/Properties/AssemblyInfo.cs index ac99974f..20b53d3b 100644 --- a/Source/Provers/Isabelle/Properties/AssemblyInfo.cs +++ b/Source/Provers/Isabelle/Properties/AssemblyInfo.cs @@ -3,8 +3,6 @@ using System.Reflection;
using System.Runtime.CompilerServices;
-[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]
-
[assembly: AssemblyTitle("Boogie back-end for Isabelle")]
[assembly: AssemblyDescription("Boogie back-end for the interactive"
+ " theorem prover Isabelle")]
|