summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
diff options
context:
space:
mode:
authorGravatar stobies <unknown>2009-08-17 11:41:08 +0000
committerGravatar stobies <unknown>2009-08-17 11:41:08 +0000
commit4d3e9b8f2bdb29ec53d1c418a11501bcf6a301d3 (patch)
treefc1b076a290d27307492161eb040b5f67283665a /Source/DafnyDriver
parenta0f2a1cf8ed924daabc1710774ec742a366f37f8 (diff)
Sign assemblies
Diffstat (limited to 'Source/DafnyDriver')
-rw-r--r--Source/DafnyDriver/AssemblyInfo.ssc4
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/DafnyDriver/AssemblyInfo.ssc b/Source/DafnyDriver/AssemblyInfo.ssc
new file mode 100644
index 00000000..6ed99a25
--- /dev/null
+++ b/Source/DafnyDriver/AssemblyInfo.ssc
@@ -0,0 +1,4 @@
+using System.Reflection;
+using System.Runtime.CompilerServices;
+
+[assembly: AssemblyKeyFile("..\\InterimKey.snk")]