update to latest MPL

ajewellamz · ajewellamz · commit 166a94597828 · 2024-04-29T17:16:11.000-04:00
diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml
@@ -52,9 +52,6 @@ jobs:
         shell: bash
         working-directory: ./TestVectors
         run: |
-          # this is evil, but the MPL test vectors defines an extra Main
-          sed -i "s/method Main/method NotMain/" ../submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/Index.dfy
-          sed -i "s/<OutputType>Exe/<OutputType>Library/" ../submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/TestVectors.csproj
           # This works because `node` is installed by default on GHA runners
           make transpile_net
 
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 0b9567d85de6e5af6d21603ff547a1f184649dfd
+Subproject commit 5f8d816df1febed28bed1ba6c63cc9c826ae61a8
