Merge pull request #295 from yaakov-h/pr-PropertyChangedEventArgs

Remove false contract on PropertyChangedEventArgs
microsoft · Nov 20, 2015 · bd2c4c4 · bd2c4c4
2 parents 0f817e7 + ed7ed13
commit bd2c4c4
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Microsoft.Research/Contracts/System/System.ComponentModel.PropertyChangedEventArgs.cs b/Microsoft.Research/Contracts/System/System.ComponentModel.PropertyChangedEventArgs.cs
@@ -7,7 +7,6 @@ public class PropertyChangedEventArgs : EventArgs
    {
        public PropertyChangedEventArgs(string propertyName)
        {
-           Contract.Requires(!string.IsNullOrEmpty(Contract.Result<string>()));
            Contract.Ensures(this.PropertyName == propertyName);
        }
 
@@ -19,8 +18,6 @@ public virtual string PropertyName
        {
            get
            {
-               Contract.Ensures(!string.IsNullOrEmpty(Contract.Result<string>()));
-
                return default(string);
            }
         }