diff --git a/lib/options-handler.ts b/lib/options-handler.ts index d0c3b7268e09a5d3e2d73a072aeaff2e3bda908b..02f34f1863bce062e3bff3770a48cad69ea5c8fe 100755 --- a/lib/options-handler.ts +++ b/lib/options-handler.ts @@ -150,9 +150,8 @@ export class ClientOptionsHandler { this.supportsLibraryCodeFilterPerLanguage = this.compilerProps(languages, 'supportsLibraryCodeFilter', false); this.supportsLibraryCodeFilter = Object.values(this.supportsLibraryCodeFilterPerLanguage).some(value => value); - // TODO: Shouldn't have to cast here - const libs = this.parseLibraries(this.compilerProps(languages, 'libs') as any); - const tools = this.parseTools(this.compilerProps(languages, 'tools') as any); + const libs = this.parseLibraries(this.compilerProps<string>(languages, 'libs')); + const tools = this.parseTools(this.compilerProps<string>(languages, 'tools')); this.remoteLibs = {};