From 5189a845e0d485963510a160398c8ad90ca3c067 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Mon, 9 Aug 2010 16:39:42 +0000
Subject: Boogie: Sorry about that - no need for the conditional compilation

---
 Source/AbsInt/cce.cs       | 4 +---
 Source/BoogieDriver/cce.cs | 3 +--
 Source/VCGeneration/cce.cs | 3 +--
 3 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/Source/AbsInt/cce.cs b/Source/AbsInt/cce.cs
index 8666256e..693d608c 100644
--- a/Source/AbsInt/cce.cs
+++ b/Source/AbsInt/cce.cs
@@ -1,4 +1,4 @@
-#if CONTRACTS_FULL
+
 using System;
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
@@ -54,11 +54,9 @@ public static class cce {
     }
   }
 }
-
 public class PeerAttribute : System.Attribute {
 }
 public class RepAttribute : System.Attribute {
 }
 public class CapturedAttribute : System.Attribute {
 }
-#endif
\ No newline at end of file
diff --git a/Source/BoogieDriver/cce.cs b/Source/BoogieDriver/cce.cs
index f97ffd96..23d79815 100644
--- a/Source/BoogieDriver/cce.cs
+++ b/Source/BoogieDriver/cce.cs
@@ -1,4 +1,4 @@
-#if CONTRACTS_FULL
+
 using System;
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
@@ -103,4 +103,3 @@ public class ReadsAttribute : System.Attribute {
   public ReadsAttribute(object o) {
   }
 }
-#endif
\ No newline at end of file
diff --git a/Source/VCGeneration/cce.cs b/Source/VCGeneration/cce.cs
index f97ffd96..23d79815 100644
--- a/Source/VCGeneration/cce.cs
+++ b/Source/VCGeneration/cce.cs
@@ -1,4 +1,4 @@
-#if CONTRACTS_FULL
+
 using System;
 using System.Collections.Generic;
 using System.Diagnostics.Contracts;
@@ -103,4 +103,3 @@ public class ReadsAttribute : System.Attribute {
   public ReadsAttribute(object o) {
   }
 }
-#endif
\ No newline at end of file
-- 
cgit v1.2.3