diff options
Diffstat (limited to 'src/DotNetOpenAuth.OpenId/Yadis/Yadis.cs')
| -rw-r--r-- | src/DotNetOpenAuth.OpenId/Yadis/Yadis.cs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/DotNetOpenAuth.OpenId/Yadis/Yadis.cs b/src/DotNetOpenAuth.OpenId/Yadis/Yadis.cs index a23e019..4a06ea7 100644 --- a/src/DotNetOpenAuth.OpenId/Yadis/Yadis.cs +++ b/src/DotNetOpenAuth.OpenId/Yadis/Yadis.cs @@ -6,7 +6,6 @@ namespace DotNetOpenAuth.Yadis { using System; - using System.Diagnostics.Contracts; using System.IO; using System.Net; using System.Net.Cache; @@ -16,6 +15,7 @@ namespace DotNetOpenAuth.Yadis { using DotNetOpenAuth.Messaging; using DotNetOpenAuth.OpenId; using DotNetOpenAuth.Xrds; + using Validation; /// <summary> /// YADIS discovery manager. @@ -137,8 +137,6 @@ namespace DotNetOpenAuth.Yadis { internal static IncomingWebResponse Request(IDirectWebRequestHandler requestHandler, Uri uri, bool requireSsl, params string[] acceptTypes) { Requires.NotNull(requestHandler, "requestHandler"); Requires.NotNull(uri, "uri"); - Contract.Ensures(Contract.Result<IncomingWebResponse>() != null); - Contract.Ensures(Contract.Result<IncomingWebResponse>().ResponseStream != null); HttpWebRequest request = (HttpWebRequest)WebRequest.Create(uri); request.CachePolicy = IdentifierDiscoveryCachePolicy; |