From f07346bfd142663c75443c25ace484b0b3c46bbe Mon Sep 17 00:00:00 2001
From: texastony <5892063+texastony@users.noreply.github.com>
Date: Fri, 29 Mar 2024 15:47:51 -0500
Subject: [PATCH] feat(Dafny): bump MPL

---
 mpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mpl b/mpl
index cce342923..64f72c121 160000
--- a/mpl
+++ b/mpl
@@ -1 +1 @@
-Subproject commit cce342923ce5602f2e6162dccca44ecefaffca68
+Subproject commit 64f72c121fef31a83bcf3a5346d7efc1e84ab25f