m

ajewellamz · ajewellamz · commit f2b69a5451c7 · 2025-01-23T14:40:52.000-05:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 89aed9c9d6e51ef9c7031c966855a7566267dd14
+Subproject commit 0cc71ac9e55f23ab97583718ba8cebc11e9bda2e
