Removes more remnants of Code Contracts.

1 files changed, 2 insertions, 10 deletions

diff --git a/samples/OpenIdOfflineProvider/TextBoxTextWriter.cs b/samples/OpenIdOfflineProvider/TextBoxTextWriter.cs
index b7a3549..b0dabbc 100644
--- a/samples/OpenIdOfflineProvider/TextBoxTextWriter.cs
+++ b/samples/OpenIdOfflineProvider/TextBoxTextWriter.cs
@@ -6,10 +6,10 @@
 
 namespace DotNetOpenAuth.OpenIdOfflineProvider {
 	using System;
-	using System.Diagnostics.Contracts;
 	using System.IO;
 	using System.Text;
 	using System.Windows.Controls;
+	using Validation;
 
 	/// <summary>
 	/// A text writer that appends all write calls to a text box.
@@ -20,7 +20,7 @@ namespace DotNetOpenAuth.OpenIdOfflineProvider {
 		/// </summary>
 		/// <param name="box">The text box to append log messages to.</param>
 		internal TextBoxTextWriter(TextBox box) {
-			Contract.Requires(box != null);
+			Requires.NotNull(box, "box");
 			this.Box = box;
 		}
 
@@ -68,14 +68,6 @@ namespace DotNetOpenAuth.OpenIdOfflineProvider {
 		}
 
 		/// <summary>
-		/// Verifies conditions that should be true for any valid state of this object.
-		/// </summary>
-		[ContractInvariantMethod]
-		private void ObjectInvariant() {
-			Contract.Invariant(this.Box != null);
-		}
-
-		/// <summary>
 		/// Appends text to the text box.
 		/// </summary>
 		/// <param name="value">The string to append.</param>