m

lucasmcdonald3 · lucasmcdonald3 · commit 8162cc626b53 · 2024-09-25T12:57:38.000-07:00
diff --git a/submodules/smithy-dafny b/submodules/smithy-dafny
@@ -1 +1 @@
-Subproject commit 98939e130695095386059967509a19299dfac320
+Subproject commit 1143f132071f7988b6b40cd6fdd17b378c880e55
