From 4ef772e75ecc6772fe3abdb3dabffb7768d084b1 Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Sat, 25 Nov 2023 08:35:41 -0800
Subject: [PATCH] Restore bug fix

---
 Source/DafnyLanguageServer/Workspace/Compilation.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/DafnyLanguageServer/Workspace/Compilation.cs b/Source/DafnyLanguageServer/Workspace/Compilation.cs
index 95d6cbfbd1b..5ba60d920ca 100644
--- 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));
       }