Index: pkg/third_party/html5lib/lib/src/inputstream.dart |
diff --git a/pkg/third_party/html5lib/lib/src/inputstream.dart b/pkg/third_party/html5lib/lib/src/inputstream.dart |
index 5686abf755598336e8dc4d2898ccdbebc0ff1013..7426793ef6b1fe980a0fb856d50b5433be61ddf2 100644 |
--- a/pkg/third_party/html5lib/lib/src/inputstream.dart |
+++ b/pkg/third_party/html5lib/lib/src/inputstream.dart |
@@ -2,7 +2,7 @@ library inputstream; |
import 'dart:collection'; |
import 'package:utf/utf.dart'; |
-import 'package:source_maps/span.dart' show SourceFile; |
+import 'package:source_span/source_span.dart'; |
import 'char_encodings.dart'; |
import 'constants.dart'; |
import 'utils.dart'; |
@@ -135,8 +135,7 @@ class HtmlInputStream { |
// Free decoded characters if they aren't needed anymore. |
if (_rawBytes != null) _rawChars = null; |
- fileInfo = new SourceFile(sourceUrl, _lineStarts, |
- generateSpans ? _chars : null); |
+ fileInfo = new SourceFile.decoded(_chars, url: sourceUrl); |
Siggi Cherem (dart-lang)
2014/07/29 20:56:32
could we do this maybe only when generateSpans is
nweiz
2014/07/29 21:13:17
Done.
nweiz
2014/07/30 00:25:53
It turns out this made a test fail, so I changed i
|
} |