From 16e0590ccc4a46fe9a85f059c7354c01236d4110 Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Mon, 5 Feb 2024 13:22:40 +0100 Subject: [PATCH] Customize the options used by the language server less (#5045) Customize the options used by the language server less, by relying on fewer defaults By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt). --- Source/DafnyLanguageServer/LanguageServer.cs | 6 ------ 1 file changed, 6 deletions(-) diff --git a/Source/DafnyLanguageServer/LanguageServer.cs b/Source/DafnyLanguageServer/LanguageServer.cs index f7ad5c1a07..6d0fa2cbf9 100644 --- a/Source/DafnyLanguageServer/LanguageServer.cs +++ b/Source/DafnyLanguageServer/LanguageServer.cs @@ -47,12 +47,6 @@ related locations public static void ConfigureDafnyOptionsForServer(DafnyOptions dafnyOptions) { dafnyOptions.Set(DafnyConsolePrinter.ShowSnippets, true); - dafnyOptions.PrintIncludesMode = DafnyOptions.IncludesModes.None; - - // TODO This may be subject to change. See Microsoft.Boogie.Counterexample - // A dash means write to the textwriter instead of a file. - // https://github.com/boogie-org/boogie/blob/b03dd2e4d5170757006eef94cbb07739ba50dddb/Source/VCGeneration/Couterexample.cs#L217 - dafnyOptions.ModelViewFile = "-"; } public static async Task Start(DafnyOptions dafnyOptions) {