Restore bug fix

robin-aws · Nov 25, 2023 · 4ef772e · 4ef772e
1 parent e44cd34
commit 4ef772e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyLanguageServer/Workspace/Compilation.cs b/Source/DafnyLanguageServer/Workspace/Compilation.cs
@@ -134,7 +134,7 @@ private IReadOnlyList<DafnyFile> DetermineRootFiles() {
         var targetName = Options.CompilerName ?? "notarget";
         var stdlibDooUri = new Uri($"{DafnyMain.StandardLibrariesDooUriBase}-{targetName}.doo");
         // TODO: bug fix, not hack
-        Options.CliRootSourceUris.Add(stdlibDooUri);
+        // Options.CliRootSourceUris.Add(stdlibDooUri);
         result.Add(DafnyFile.CreateAndValidate(errorReporter, OnDiskFileSystem.Instance, Options, stdlibDooUri, Project.StartingToken));
       }