From 0bae2c8cadf9cada11ad914a4524236452e33527 Mon Sep 17 00:00:00 2001
From: Tony Knapp <5892063+texastony@users.noreply.github.com>
Date: Thu, 21 Mar 2024 13:31:03 -0700
Subject: [PATCH] chore: point smith-danfy to valid commit (#642)

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

diff --git a/smithy-dafny b/smithy-dafny
index 4497a5ab1..a43a6da7b 160000
--- a/smithy-dafny
+++ b/smithy-dafny
@@ -1 +1 @@
-Subproject commit 4497a5ab1213a1ee609aa0fc31a0e26d4ea72af1
+Subproject commit a43a6da7bc0052326443352a867014aac6f3aaca