Update README.md (#276)

Fix typo in example
smithy-lang · Jun 26, 2023 · 73d7de4 · 73d7de4
1 parent b58bde8
commit 73d7de4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
             }
         }
     }