auto commit

Author: rishav-karanjit

DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs

@@ -8,7 +8,15 @@ 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
+    }
+    public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy policy { 
+      get {
+        return this._policy;
+      } 
+    }
     public static Wrappers_Compile._IResult<
       Wrappers_Compile._IOption<InternalLegacyOverride>,
       _IError