diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2009-10-31 10:19:29 -0700 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2009-10-31 10:20:05 -0700 |
| commit | 797968180301dc62bd8b36a3151f81439304d90b (patch) | |
| tree | 6c3ade43e92555beee2a8675d3a0990340585443 | |
| parent | dbd21644212d4c48d4fdfa08da2db3c642f6348c (diff) | |
| download | DotNetOpenAuth-797968180301dc62bd8b36a3151f81439304d90b.zip DotNetOpenAuth-797968180301dc62bd8b36a3151f81439304d90b.tar.gz DotNetOpenAuth-797968180301dc62bd8b36a3151f81439304d90b.tar.bz2 | |
Fixed contract warning.
| -rw-r--r-- | src/DotNetOpenAuth/InfoCard/InfoCardSelector.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/DotNetOpenAuth/InfoCard/InfoCardSelector.cs b/src/DotNetOpenAuth/InfoCard/InfoCardSelector.cs index 71f7fdd..90bcd24 100644 --- a/src/DotNetOpenAuth/InfoCard/InfoCardSelector.cs +++ b/src/DotNetOpenAuth/InfoCard/InfoCardSelector.cs @@ -272,7 +272,7 @@ namespace DotNetOpenAuth.InfoCard { } set { - Contract.Requires<InvalidOperationException>(string.IsNullOrEmpty(value) || this.Page == null || this.DesignMode || (HttpContext.Current != null && HttpContext.Current.Request != null), MessagingStrings.HttpContextRequired); + ErrorUtilities.VerifyOperation(string.IsNullOrEmpty(value) || this.Page == null || this.DesignMode || (HttpContext.Current != null && HttpContext.Current.Request != null), MessagingStrings.HttpContextRequired); if (!string.IsNullOrEmpty(value)) { if (this.Page != null && !this.DesignMode) { // Validate new value by trying to construct a Uri based on it. |