From 381e74322a0c9837f847b360b912b4e1235baab0 Mon Sep 17 00:00:00 2001 From: Shubham Chaturvedi Date: Thu, 31 Oct 2024 16:32:27 -0700 Subject: [PATCH] fix: PR comments --- .../internaldafny/generated/dafny_src-py.dtr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr b/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr index 9201de5f5..48d701b7a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr +++ b/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr @@ -1,5 +1,5 @@ file_format_version = "1.0" -dafny_version = "4.8.1.0" +dafny_version = "4.8.0.0" [options_by_module.AwsCryptographyKeyStoreTypes] legacy-module-names = false python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"