From 241de8264a32285d371a53d8d91a219625d76922 Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Mon, 7 Mar 2011 05:15:14 +0000
Subject: Fix contracts so runtime checking can be turned on.

---
 Source/CodeContractsExtender/cce.cs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Source/CodeContractsExtender')

diff --git a/Source/CodeContractsExtender/cce.cs b/Source/CodeContractsExtender/cce.cs
index ef594484..64b6527a 100644
--- a/Source/CodeContractsExtender/cce.cs
+++ b/Source/CodeContractsExtender/cce.cs
@@ -16,7 +16,8 @@ public static class cce {
   //}
   [Pure]
   public static T NonNull<T>(T t) {
-    Contract.Assert(t != null);
+    Contract.Requires(t != null);
+    Contract.Ensures(Contract.Result<T>() != null);
     return t;
   }
   [Pure]
-- 
cgit v1.2.3