Fix lint error that was commited

This is what happens when your merge PRs by hand and forget to run the linter. You break everyone's PRs.
This commit is contained in:
Wesley Wigham 2015-10-01 18:33:52 -07:00
parent 2d78df49a4
commit cc95dcac1b

View File

@ -301,7 +301,7 @@ namespace ts {
sourceFile.fileWatcher.close();
sourceFile.fileWatcher = undefined;
if (removed) {
var index = rootFileNames.indexOf(sourceFile.fileName);
let index = rootFileNames.indexOf(sourceFile.fileName);
if (index >= 0) {
rootFileNames.splice(index, 1);
}