From 399b51fe85f63f8f08986a79e62a080daff516a2 Mon Sep 17 00:00:00 2001
From: stobies <unknown>
Date: Tue, 18 Aug 2009 08:43:08 +0000
Subject: Also sign AbsInt.dll

---
 Source/AbsInt/AbsInt.sscproj | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Source/AbsInt/AbsInt.sscproj b/Source/AbsInt/AbsInt.sscproj
index 95d6f1d2..d0efb860 100644
--- a/Source/AbsInt/AbsInt.sscproj
+++ b/Source/AbsInt/AbsInt.sscproj
@@ -114,6 +114,10 @@
                  SubType="Code"
                  RelPath="LoopInvariantsOnDemand.ssc"
                  />
+        <File BuildAction="Compile"
+                 SubType="Code"
+                 RelPath="AssemblyInfo.ssc"
+                 />
       </Include>
     </Files>
   </XEN>
-- 
cgit v1.2.3