chore: move mpl to dafny-47

josecorella · josecorella · commit 0df13ba165c7 · 2024-08-26T15:35:58.000-07:00
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit cdd4885cb22957b04167b11d8b40edbdf4301d8d
+Subproject commit 4c5f9a36b55527ef160f6907be980d5ce43890e0
