Removes more remnants of Code Contracts.

1 files changed, 0 insertions, 3 deletions

diff --git a/src/DotNetOpenAuth.Core/Configuration/MessagingElement.cs b/src/DotNetOpenAuth.Core/Configuration/MessagingElement.cs
index ff98d36..64dfba3 100644
--- a/src/DotNetOpenAuth.Core/Configuration/MessagingElement.cs
+++ b/src/DotNetOpenAuth.Core/Configuration/MessagingElement.cs
@@ -7,14 +7,12 @@
 namespace DotNetOpenAuth.Configuration {
 	using System;
 	using System.Configuration;
-	using System.Diagnostics.Contracts;
 	using DotNetOpenAuth.Messaging;
 	using DotNetOpenAuth.Messaging.Bindings;
 
 	/// <summary>
 	/// Represents the &lt;messaging&gt; element in the host's .config file.
 	/// </summary>
-	[ContractVerification(true)]
 	public class MessagingElement : ConfigurationSection {
 		/// <summary>
 		/// The name of the &lt;webResourceUrlProvider&gt; sub-element.
@@ -75,7 +73,6 @@ namespace DotNetOpenAuth.Configuration {
 		/// </summary>
 		public static MessagingElement Configuration {
 			get {
-				Contract.Ensures(Contract.Result<MessagingElement>() != null);
 				return (MessagingElement)ConfigurationManager.GetSection(MessagingElementName) ?? new MessagingElement();
 			}
 		}