| Index: editor/tools/plugins/com.google.dart.indexer/src/com/google/dart/indexer/index/readonly/DiskBackedIndexImpl.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.indexer/src/com/google/dart/indexer/index/readonly/DiskBackedIndexImpl.java (revision 10251)
|
| +++ editor/tools/plugins/com.google.dart.indexer/src/com/google/dart/indexer/index/readonly/DiskBackedIndexImpl.java (working copy)
|
| @@ -127,6 +127,7 @@
|
| }
|
| }
|
|
|
| + @SuppressWarnings("unused")
|
| private void toStringSources(Map<IndexableSource, FileInfo> map, StringBuilder out,
|
| boolean showLayers) {
|
| out.append("Sources:\n");
|
|
|