AssemblyInfo.ssc « Z3 « Provers « Source - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Source/Provers/Z3/AssemblyInfo.ssc

blob: ed1d345177b1f6a3b988ee11727cf6b438fd853f (plain)

using System.Reflection;
using System.Runtime.CompilerServices;

[assembly: AssemblyKeyFile("..\\..\\InterimKey.snk")]