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