Index: dart/site/try/src/editor.dart |
diff --git a/dart/site/try/src/editor.dart b/dart/site/try/src/editor.dart |
index 9f8d157b42261f5c8345583056beaffc3d1e1462..bc80134611903092a7420be2a7a3dcf9901869fd 100644 |
--- a/dart/site/try/src/editor.dart |
+++ b/dart/site/try/src/editor.dart |
@@ -120,7 +120,6 @@ Element getElementAtSelection() { |
} |
bool isMalformedInput = false; |
-String currentSource = ""; |
addDiagnostic(String kind, String message, int begin, int end) { |
observer.disconnect(); |