| Index: sdk/lib/web_gl/dart2js/web_gl_dart2js.dart
|
| diff --git a/sdk/lib/web_gl/dart2js/web_gl_dart2js.dart b/sdk/lib/web_gl/dart2js/web_gl_dart2js.dart
|
| index e511e3c9d5bb6f778272de129d523d2bd8262fce..eef8b0f91c959dc8032a5a4ed881a241a71bf35d 100644
|
| --- a/sdk/lib/web_gl/dart2js/web_gl_dart2js.dart
|
| +++ b/sdk/lib/web_gl/dart2js/web_gl_dart2js.dart
|
| @@ -1,7 +1,7 @@
|
| library dart.dom.web_gl;
|
|
|
| import 'dart:collection';
|
| -import 'dart:_collection-dev';
|
| +import 'dart:_collection-dev' hide deprecated;
|
| import 'dart:html';
|
| import 'dart:html_common';
|
| import 'dart:typed_data';
|
|
|