Boogie: Sorry about that - no need for the conditional compilation

1 files changed, 1 insertions, 3 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