Removes more remnants of Code Contracts.

1 files changed, 1 insertions, 4 deletions

diff --git a/src/DotNetOpenAuth.OAuth2.Client/Configuration/OAuth2ClientSection.cs b/src/DotNetOpenAuth.OAuth2.Client/Configuration/OAuth2ClientSection.cs
index 5c040e3..d0c27c9 100644
--- a/src/DotNetOpenAuth.OAuth2.Client/Configuration/OAuth2ClientSection.cs
+++ b/src/DotNetOpenAuth.OAuth2.Client/Configuration/OAuth2ClientSection.cs
@@ -7,7 +7,6 @@
 namespace DotNetOpenAuth.Configuration {
 	using System;
 	using System.Configuration;
-	using System.Diagnostics.Contracts;
 	using Validation;
 
 	/// <summary>
@@ -35,7 +34,6 @@ namespace DotNetOpenAuth.Configuration {
 		/// </summary>
 		internal static OAuth2ClientSection Configuration {
 			get {
-				Contract.Ensures(Contract.Result<OAuth2ClientSection>() != null);
 				return (OAuth2ClientSection)ConfigurationManager.GetSection(SectionName) ?? new OAuth2ClientSection();
 			}
 		}
@@ -47,9 +45,8 @@ namespace DotNetOpenAuth.Configuration {
 		[PositiveTimeSpanValidator]
 		internal TimeSpan MaxAuthorizationTime {
 			get {
-				Contract.Ensures(Contract.Result<TimeSpan>() > TimeSpan.Zero);
 				TimeSpan result = (TimeSpan)this[MaxAuthorizationTimePropertyName];
-				Contract.Assume(result > TimeSpan.Zero); // our PositiveTimeSpanValidator should take care of this
+				Assumes.True(result > TimeSpan.Zero); // our PositiveTimeSpanValidator should take care of this
 				return result;
 			}