auto commit

rishav-karanjit · rishav-karanjit · commit 9bbf00ccd7b6 · 2025-01-27T11:27:20.000-08:00
diff --git a/DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs b/DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs
@@ -9,8 +9,8 @@ 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.Default();
-      set { } // Empty set to maintain the property signature
+      get => software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.LegacyPolicy.FORBID_LEGACY_ENCRYPT_FORBID_LEGACY_DECRYPT();
+      set { }
     }
     public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy policy { 
       get {

Original file line number	Diff line number	Diff line change
`@@ -9,8 +9,8 @@ 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.Default();`
`13`		`- set { } // Empty set to maintain the property signature`
	`12`	`+ get => software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.LegacyPolicy.FORBID_LEGACY_ENCRYPT_FORBID_LEGACY_DECRYPT();`
	`13`	`+ set { }`
`14`	`14`	`}`
`15`	`15`	`public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy policy {`
`16`	`16`	`get {`