| Index: client/html/src/dartium_FactoryProviders.dart
|
| diff --git a/client/html/src/dartium_FactoryProviders.dart b/client/html/src/dartium_FactoryProviders.dart
|
| index 78681ea27e98672589d0b8892523a779bce739aa..eefd6222b1604b8ea75deac5aecd5269898fc74e 100644
|
| --- a/client/html/src/dartium_FactoryProviders.dart
|
| +++ b/client/html/src/dartium_FactoryProviders.dart
|
| @@ -64,5 +64,5 @@ class _PointFactoryProvider {
|
|
|
| class _WebSocketFactoryProvider {
|
|
|
| - factory WebSocket(String url) => _wrap(new new dom.WebSocket(url));
|
| + factory WebSocket(String url) => _wrap(new dom.WebSocket(url));
|
| }
|
|
|