[get-boost] correct WebClient call

jrl-umi3218 · Oct 28, 2024 · 86e6230 · 86e6230
1 parent 2552438
commit 86e6230
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/get-boost.ps1 b/utils/get-boost.ps1
@@ -17,7 +17,7 @@ function DownloadFileWithRetry
     }
     try
     {
-      using (WebClient wc = new WebClient())
+      using (WebClient wc = new System.Net.WebClient())
       {
           wc.Headers.Add("User-Agent: Other"); 
           wc.DownloadFile($Url, $Out);