From fade9fa572996694ebaca283a714c37e9c36f7bc Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Fri, 21 Feb 2025 02:46:10 +0000
Subject: [PATCH] Update slang digest to f9d888a

---
 WORKSPACE | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index 0dd025e3f..1b9e4db07 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -55,10 +55,10 @@ http_archive(
     name = "slang",
     build_file = "slang.BUILD",
     patches = ["//external:slang.patch"],
-    sha256 = "eea4b20751fa6394647330518c9b0c46c8248fea984c91a8a8bfe01a8a04567e",
-    strip_prefix = "slang-458be618a58aa1896398eccc1ddf75b880afaab6",
+    sha256 = "407d497ce3d3846230b0867ed9dba01de2ad33959635c5c05536ccded6223a26",
+    strip_prefix = "slang-f9d888a5ea817818322b70f15fe97330ad9393b5",
     urls = [
-        "https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip",
+        "https://github.com/MikePopoloski/slang/archive/f9d888a5ea817818322b70f15fe97330ad9393b5.zip",
     ],
 )