diff options
| -rw-r--r-- | src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs | 2 | ||||
| -rw-r--r-- | src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs b/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs index 901e6ae..c45bec9 100644 --- a/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs +++ b/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs @@ -79,7 +79,6 @@ namespace DotNetOpenAuth.Messaging { /// </remarks> Version IMessage.Version { get { - Contract.Ensures(Contract.Result<Version>() != null); throw new NotImplementedException(); } } @@ -92,7 +91,6 @@ namespace DotNetOpenAuth.Messaging { /// </remarks> IDictionary<string, string> IMessage.ExtraData { get { - Contract.Ensures(Contract.Result<IDictionary<string, string>>() != null); throw new NotImplementedException(); } } diff --git a/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs b/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs index 57233ac..96e947f 100644 --- a/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs +++ b/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs @@ -123,7 +123,6 @@ namespace DotNetOpenAuth.OpenId.Messages { /// </remarks> Version IMessage.Version { get { - Contract.Ensures(Contract.Result<Version>() != null); throw new NotImplementedException(); } } @@ -136,7 +135,6 @@ namespace DotNetOpenAuth.OpenId.Messages { /// </remarks> IDictionary<string, string> IMessage.ExtraData { get { - Contract.Ensures(Contract.Result<IDictionary<string, string>>() != null); throw new NotImplementedException(); } } |