diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index f2ff71e9c..bae6b3aaf 100644
--- a/.github/workflows/library_rust_tests.yml
+++ b/.github/workflows/library_rust_tests.yml
@@ -70,7 +70,7 @@ jobs:
       - name: Setup Dafny
         uses: ./submodules/MaterialProviders/.github/actions/setup_dafny/
         with:
-          dafny-version: nightly-2025-01-30-7db1e5f
+          dafny-version: 4.10.0
 
       - name: Update MPL submodule if using MPL HEAD
         if: ${{ inputs.mpl-head == true }}
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index 453359a4e..f41b3c45c 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 453359a4e0390904152854ffa39db460e63a36dd
+Subproject commit f41b3c45c786a119952f0b35b311dbfad5fd3aa6