fix(examples): Update SQSExtendedImpl.dfy - #724

robin-aws wants to merge 2 commits intomain-1.xsmithy-lang/smithy-dafny:main-1.xfrom

robin-aws-patch-3smithy-lang/smithy-dafny:robin-aws-patch-3Copy head branch name to clipboard