auto commit

rishav-karanjit · rishav-karanjit · commit 37b91f876fec · 2025-01-27T11:54:49.000-08:00
diff --git a/DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs b/DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs
@@ -9,7 +9,7 @@ namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.in
   public partial class InternalLegacyOverride
   {
     public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy _policy {
-      get => software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.LegacyPolicy.FORBID_LEGACY_ENCRYPT_FORBID_LEGACY_DECRYPT();
+      get => software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.LegacyPolicy.create_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT();
       set { }
     }
     public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy policy { 

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.in`
`9`	`9`	`public partial class InternalLegacyOverride`
`10`	`10`	`{`
`11`	`11`	`public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy _policy {`
`12`		`- get => software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.LegacyPolicy.FORBID_LEGACY_ENCRYPT_FORBID_LEGACY_DECRYPT();`
	`12`	`+ get => software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.LegacyPolicy.create_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT();`
`13`	`13`	`set { }`
`14`	`14`	`}`
`15`	`15`	`public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy policy {`