1 files changed, 2 insertions, 11 deletions

diff --git a/src/DotNetOpenAuth.InfoCard.UI/InfoCard/InfoCardSelector.cs b/src/DotNetOpenAuth.InfoCard.UI/InfoCard/InfoCardSelector.cs
index d9e8687..3b6b368 100644
--- a/src/DotNetOpenAuth.InfoCard.UI/InfoCard/InfoCardSelector.cs
+++ b/src/DotNetOpenAuth.InfoCard.UI/InfoCard/InfoCardSelector.cs
@@ -48,7 +48,6 @@ namespace DotNetOpenAuth.InfoCard {
 	[PersistChildren(false)]
 	[DefaultEvent("ReceivedToken")]
 	[ToolboxData("<{0}:InfoCardSelector runat=\"server\"><ClaimsRequested><{0}:ClaimType Name=\"http://schemas.xmlsoap.org/ws/2005/05/identity/claims/privatepersonalidentifier\" /></ClaimsRequested><UnsupportedTemplate><p>Your browser does not support Information Cards.</p></UnsupportedTemplate></{0}:InfoCardSelector>")]
-	[ContractVerification(true)]
 	public class InfoCardSelector : CompositeControl, IPostBackEventHandler {
 		/// <summary>
 		/// The resource name for getting at the SupportingScript.js embedded manifest stream.
@@ -230,7 +229,6 @@ namespace DotNetOpenAuth.InfoCard {
 		[PersistenceMode(PersistenceMode.InnerProperty), Category(InfoCardCategory)]
 		public Collection<ClaimType> ClaimsRequested {
 			get {
-				Contract.Ensures(Contract.Result<Collection<ClaimType>>() != null);
 				if (this.ViewState[ClaimsRequestedViewStateKey] == null) {
 					var claims = new Collection<ClaimType>();
 					this.ViewState[ClaimsRequestedViewStateKey] = claims;
@@ -548,7 +546,6 @@ namespace DotNetOpenAuth.InfoCard {
 		/// <param name="value">The parameter value.</param>
 		/// <returns>The control that renders to the Param tag.</returns>
 		private static string CreateParamJs(string name, string value) {
-			Contract.Ensures(Contract.Result<string>() != null);
 			string scriptFormat = @"	objp = document.createElement('param');
 	objp.name = {0};
 	objp.value = {1};
@@ -568,8 +565,6 @@ namespace DotNetOpenAuth.InfoCard {
 		/// <returns>The Panel control</returns>
 		[Pure]
 		private Panel CreateInfoCardSupportedPanel() {
-			Contract.Ensures(Contract.Result<Panel>() != null);
-
 			Panel supportedPanel = new Panel();
 
 			try {
@@ -627,8 +622,6 @@ namespace DotNetOpenAuth.InfoCard {
 		/// <returns>The Panel control.</returns>
 		[Pure]
 		private Panel CreateInfoCardUnsupportedPanel() {
-			Contract.Ensures(Contract.Result<Panel>() != null);
-
 			Panel unsupportedPanel = new Panel();
 			try {
 				if (this.UnsupportedTemplate != null) {
@@ -726,8 +719,6 @@ namespace DotNetOpenAuth.InfoCard {
 		[Pure]
 		private void GetRequestedClaims(out string required, out string optional) {
 			RequiresEx.ValidState(this.ClaimsRequested != null);
-			Contract.Ensures(Contract.ValueAtReturn<string>(out required) != null);
-			Contract.Ensures(Contract.ValueAtReturn<string>(out optional) != null);
 
 			var nonEmptyClaimTypes = this.ClaimsRequested.Where(c => c.Name != null);
 
@@ -742,8 +733,8 @@ namespace DotNetOpenAuth.InfoCard {
 			string[] optionalClaimsArray = optionalClaims.ToArray();
 			required = string.Join(" ", requiredClaimsArray);
 			optional = string.Join(" ", optionalClaimsArray);
-			Contract.Assume(required != null);
-			Contract.Assume(optional != null);
+			Assumes.True(required != null);
+			Assumes.True(optional != null);
 		}
 
 		/// <summary>