From 73d7de462af6e0262967c2457e4e2abbe4a5ef1b Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Mon, 26 Jun 2023 16:19:41 -0700
Subject: [PATCH] Update README.md (#276)

Fix typo in example
---
 codegen/smithy-dafny-codegen/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/codegen/smithy-dafny-codegen/README.md b/codegen/smithy-dafny-codegen/README.md
index 5fe91aac9..467f3a0b3 100644
--- a/codegen/smithy-dafny-codegen/README.md
+++ b/codegen/smithy-dafny-codegen/README.md
@@ -89,7 +89,7 @@ are as follows:
                 "edition": "2023",
                 "service": "smithy.example#ExampleService",
                 "targetLanguages": ["dotnet"],
-                "includeDafnyPath": "[relative]/[path]/[to]/StandardLibrary/src/Index.dfy"
+                "includeDafnyFile": "[relative]/[path]/[to]/StandardLibrary/src/Index.dfy"
             }
         }
     }