m

lucasmcdonald3 · lucasmcdonald3 · commit 5a76f3e2f449 · 2024-09-25T13:13:28.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 1143f132071f7988b6b40cd6fdd17b378c880e55
+Subproject commit 98939e130695095386059967509a19299dfac320
