fix: PR comments

aws · Oct 31, 2024 · 381e743 · 381e743
1 parent 3283dbd
commit 381e743
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.../python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr b/.../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"