diff --git a/Microsoft.Research/Contracts/System/System.Net.IPAddress.cs b/Microsoft.Research/Contracts/System/System.Net.IPAddress.cs index fcda889e..39092fc5 100644 --- a/Microsoft.Research/Contracts/System/System.Net.IPAddress.cs +++ b/Microsoft.Research/Contracts/System/System.Net.IPAddress.cs @@ -231,7 +231,7 @@ public IPAddress(long newAddress) // address: // The byte array value of the IP address. // - // scopeid: + // scopeId: // The long value of the scope identifier. // // Exceptions: @@ -239,12 +239,12 @@ public IPAddress(long newAddress) // address is null. // // System.ArgumentOutOfRangeException: - // scopeid < 0 or scopeid > 0x00000000FFFFFFFF - public IPAddress(byte[] address, long scopeid) + // scopeId < 0 or scopeId > 0x00000000FFFFFFFF + public IPAddress(byte[] address, long scopeId) { Contract.Requires(address != null); - Contract.Requires(scopeid >= 0); - Contract.Requires(scopeid <= 0x00000000FFFFFFFF); + Contract.Requires(scopeId >= 0); + Contract.Requires(scopeId <= 0x00000000FFFFFFFF); } // Summary: @@ -443,4 +443,4 @@ public static bool TryParse(string ipString, out IPAddress address) } } -#endif \ No newline at end of file +#endif