m

ajewellamz · ajewellamz · commit ec168d36c60b · 2025-01-22T10:32:16.000-05:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit b69c1893ec30c950111726240de91b889280205e
+Subproject commit 81c2f608c6cfefe9efd1c617d7005d14d8b11b38
