From 8ebe3f941d07ec4a0700fbb616ae390a4e7a2e67 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 28 Jul 2013 17:59:29 -0700
Subject: DafnyExtension: Did some refactoring to integrate the Dafny menu more
 tightly.

---
 Source/DafnyExtension/GlobalSuppressions.cs | Bin 1660 -> 692 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'Source/DafnyExtension/GlobalSuppressions.cs')

diff --git a/Source/DafnyExtension/GlobalSuppressions.cs b/Source/DafnyExtension/GlobalSuppressions.cs
index 878ee0c3..4b115d31 100644
Binary files a/Source/DafnyExtension/GlobalSuppressions.cs and b/Source/DafnyExtension/GlobalSuppressions.cs differ
-- 
cgit v1.2.3