| Index: sdk/lib/core/double.dart
|
| diff --git a/sdk/lib/core/double.dart b/sdk/lib/core/double.dart
|
| index 409e29440987384e3b04b666bccd45b2cf9e500b..4aa161b851111cd7e04393e1d3b1cc60f53f5cd7 100644
|
| --- a/sdk/lib/core/double.dart
|
| +++ b/sdk/lib/core/double.dart
|
| @@ -9,6 +9,8 @@ part of dart.core;
|
| // different platform implementations.
|
|
|
| /**
|
| + * A double-precision floating point number.
|
| + *
|
| * Representation of Dart doubles containing double specific constants
|
| * and operations and specializations of operations inherited from
|
| * [num]. Dart doubles are 64-bit floating-point numbers as specified in the
|
|
|