From 378caef76d846b8a587de40d75ff0c903af095c3 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Mon, 9 Aug 2010 15:46:37 +0000
Subject: Boogie: Added the #if CONTRACTS_FULL statement around all usages of
 cce.cs

---
 Source/BoogieDriver/cce.cs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/cce.cs b/Source/BoogieDriver/cce.cs
index 34749b5f..f97ffd96 100644
--- a/Source/BoogieDriver/cce.cs
+++ b/Source/BoogieDriver/cce.cs
@@ -1,4 +1,5 @@
-using System;
+#if CONTRACTS_FULL
+using System;
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
 using System.Text;
@@ -101,4 +102,5 @@ public class ReadsAttribute : System.Attribute {
   };
   public ReadsAttribute(object o) {
   }
-}
\ No newline at end of file
+}
+#endif
\ No newline at end of file
-- 
cgit v1.2.3