diff --git a/WORKSPACE b/WORKSPACE index 0dd025e3f..aadff4099 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 = "f21b13141e3007161b71cdc6e68a40204b7003fd6befbf3d83ed2eaac19c63d0", + strip_prefix = "slang-72f44517e22392f7ca5ac9e05feaf4ac218cd9b3", urls = [ - "https://github.com/MikePopoloski/slang/archive/458be618a58aa1896398eccc1ddf75b880afaab6.zip", + "https://github.com/MikePopoloski/slang/archive/72f44517e22392f7ca5ac9e05feaf4ac218cd9b3.zip", ], )