Removes more remnants of Code Contracts.

1 files changed, 0 insertions, 2 deletions

diff --git a/src/DotNetOpenAuth.Core/Configuration/ReportingElement.cs b/src/DotNetOpenAuth.Core/Configuration/ReportingElement.cs
index 0af8205..f0184a6 100644
--- a/src/DotNetOpenAuth.Core/Configuration/ReportingElement.cs
+++ b/src/DotNetOpenAuth.Core/Configuration/ReportingElement.cs
@@ -8,7 +8,6 @@ namespace DotNetOpenAuth.Configuration {
 	using System;
 	using System.Collections.Generic;
 	using System.Configuration;
-	using System.Diagnostics.Contracts;
 	using System.Linq;
 	using System.Text;
 
@@ -76,7 +75,6 @@ namespace DotNetOpenAuth.Configuration {
 		/// </summary>
 		public static ReportingElement Configuration {
 			get {
-				Contract.Ensures(Contract.Result<ReportingElement>() != null);
 				return (ReportingElement)ConfigurationManager.GetSection(ReportingElementName) ?? new ReportingElement();
 			}
 		}