diff --git a/src/observers/OptionChangeObserver.ts b/src/observers/OptionChangeObserver.ts index 10810d002..a44217bbb 100644 --- a/src/observers/OptionChangeObserver.ts +++ b/src/observers/OptionChangeObserver.ts @@ -20,7 +20,7 @@ function ConfigChangeObservable(optionObservable: Observable): Observab }); } -export function ShowOmniSharpConfigChangePrompt(optionObservable: Observable, vscode: vscode) { +export function ShowOmniSharpConfigChangePrompt(optionObservable: Observable, vscode: vscode): Disposable { let subscription = ConfigChangeObservable(optionObservable) .subscribe(_ => { let message = "OmniSharp configuration has changed. Would you like to relaunch the OmniSharp server with your changes?";