diff --git a/Microsoft.Research/Contracts/System/System.ComponentModel.TypeConverter.cs b/Microsoft.Research/Contracts/System/System.ComponentModel.TypeConverter.cs
index 077acdff..a1d5a41e 100644
--- a/Microsoft.Research/Contracts/System/System.ComponentModel.TypeConverter.cs
+++ b/Microsoft.Research/Contracts/System/System.ComponentModel.TypeConverter.cs
@@ -97,8 +97,12 @@ public class TypeConverter
     // Exceptions:
     //   System.NotSupportedException:
     //     The conversion cannot be performed.
-    //public object ConvertFrom(object value);
-    //
+    public object ConvertFrom(object value)
+    {
+      Contract.Ensures(Contract.Result<object>() != null);
+      return default(object);
+    }
+    
     // Summary:
     //     Converts the given object to the type of this converter, using the specified
     //     context and culture information.