summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
diff options
context:
space:
mode:
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")]