Removes more remnants of Code Contracts.

1 files changed, 3 insertions, 5 deletions

diff --git a/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/HmacShaAssociationProvider.cs b/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/HmacShaAssociationProvider.cs
index a6812fa..8c4011b 100644
--- a/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/HmacShaAssociationProvider.cs
+++ b/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/HmacShaAssociationProvider.cs
@@ -7,7 +7,6 @@
 namespace DotNetOpenAuth.OpenId.Provider {
 	using System;
 	using System.Collections.Generic;
-	using System.Diagnostics.Contracts;
 	using System.Linq;
 	using System.Text;
 	using DotNetOpenAuth.Messaging;
@@ -44,7 +43,6 @@ namespace DotNetOpenAuth.OpenId.Provider {
 			Requires.NotNullOrEmpty(associationType, "associationType");
 			Requires.NotNull(associationStore, "associationStore");
 			Requires.NotNull(securitySettings, "securitySettings");
-			Contract.Ensures(Contract.Result<HmacShaAssociation>() != null);
 
 			int secretLength = HmacShaAssociation.GetSecretLength(protocol, associationType);
 
@@ -62,9 +60,9 @@ namespace DotNetOpenAuth.OpenId.Provider {
 
 			string handle = associationStore.Serialize(secret, DateTime.UtcNow + lifetime, associationUse == AssociationRelyingPartyType.Dumb);
 
-			Contract.Assert(protocol != null); // All the way up to the method call, the condition holds, yet we get a Requires failure next
-			Contract.Assert(secret != null);
-			Contract.Assert(!string.IsNullOrEmpty(associationType));
+			Assumes.True(protocol != null); // All the way up to the method call, the condition holds, yet we get a Requires failure next
+			Assumes.True(secret != null);
+			Assumes.True(!string.IsNullOrEmpty(associationType));
 			var result = HmacShaAssociation.Create(protocol, associationType, handle, secret, lifetime);
 			return result;
 		}