1 files changed, 0 insertions, 48 deletions
diff --git a/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/RequestContract.cs b/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/RequestContract.cs
deleted file mode 100644
index c4b96e8..0000000
--- a/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/RequestContract.cs
+++ /dev/null
@@ -1,48 +0,0 @@
-//-----------------------------------------------------------------------
-// <copyright file="RequestContract.cs" company="Outercurve Foundation">
-//     Copyright (c) Outercurve Foundation. All rights reserved.
-// </copyright>
-//-----------------------------------------------------------------------
-
-namespace DotNetOpenAuth.OpenId.Provider {
-	using System;
-	using System.Collections.Generic;
-	using System.Diagnostics.Contracts;
-	using System.Linq;
-	using System.Text;
-	using DotNetOpenAuth.Messaging;
-
-	/// <summary>
-	/// Code contract for the <see cref="Request"/> class.
-	/// </summary>
-	[ContractClassFor(typeof(Request))]
-	internal abstract class RequestContract : Request {
-		/// <summary>
-		/// Prevents a default instance of the <see cref="RequestContract"/> class from being created.
-		/// </summary>
-		private RequestContract() : base((Version)null, null) {
-		}
-
-		/// <summary>
-		/// Gets a value indicating whether the response is ready to be sent to the user agent.
-		/// </summary>
-		/// <remarks>
-		/// This property returns false if there are properties that must be set on this
-		/// request instance before the response can be sent.
-		/// </remarks>
-		public override bool IsResponseReady {
-			get { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Gets the response message, once <see cref="IsResponseReady"/> is <c>true</c>.
-		/// </summary>
-		protected override IProtocolMessage ResponseMessage {
-			get {
-				RequiresEx.ValidState(this.IsResponseReady);
-				Contract.Ensures(Contract.Result<IProtocolMessage>() != null);
-				throw new NotImplementedException();
-			}
-		}
-	}
-}