Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.cs

1 files changed, 4 insertions, 2 deletions

diff --git a/Source/VCGeneration/cce.cs b/Source/VCGeneration/cce.cs
index 34749b5f..f97ffd96 100644
--- a/Source/VCGeneration/cce.cs
+++ b/Source/VCGeneration/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