Removes more remnants of Code Contracts.

1 files changed, 1 insertions, 5 deletions

diff --git a/src/DotNetOpenAuth.Core/Messaging/Reflection/MessageDescriptionCollection.cs b/src/DotNetOpenAuth.Core/Messaging/Reflection/MessageDescriptionCollection.cs
index e3d612e..f27a7af 100644
--- a/src/DotNetOpenAuth.Core/Messaging/Reflection/MessageDescriptionCollection.cs
+++ b/src/DotNetOpenAuth.Core/Messaging/Reflection/MessageDescriptionCollection.cs
@@ -15,7 +15,6 @@ namespace DotNetOpenAuth.Messaging.Reflection {
 	/// <summary>
 	/// A cache of <see cref="MessageDescription"/> instances.
 	/// </summary>
-	[ContractVerification(true)]
 	internal class MessageDescriptionCollection : IEnumerable<MessageDescription> {
 		/// <summary>
 		/// A dictionary of reflected message types and the generated reflection information.
@@ -71,7 +70,6 @@ namespace DotNetOpenAuth.Messaging.Reflection {
 		internal MessageDescription Get(Type messageType, Version messageVersion) {
 			RequiresEx.NotNullSubtype<IMessage>(messageType, "messageType");
 			Requires.NotNull(messageVersion, "messageVersion");
-			Contract.Ensures(Contract.Result<MessageDescription>() != null);
 
 			MessageTypeAndVersion key = new MessageTypeAndVersion(messageType, messageVersion);
 
@@ -107,7 +105,6 @@ namespace DotNetOpenAuth.Messaging.Reflection {
 		[Pure]
 		internal MessageDescription Get(IMessage message) {
 			Requires.NotNull(message, "message");
-			Contract.Ensures(Contract.Result<MessageDescription>() != null);
 			return this.Get(message.GetType(), message.Version);
 		}
 
@@ -137,8 +134,7 @@ namespace DotNetOpenAuth.Messaging.Reflection {
 		/// <summary>
 		/// A struct used as the key to bundle message type and version.
 		/// </summary>
-		[ContractVerification(true)]
-		private struct MessageTypeAndVersion {
+			private struct MessageTypeAndVersion {
 			/// <summary>
 			/// Backing store for the <see cref="Type"/> property.
 			/// </summary>