Skip to content

Commit

Permalink
formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
rishav-karanjit committed Jan 27, 2025
1 parent 346d335 commit 3e17992
Showing 1 changed file with 7 additions and 4 deletions.
11 changes: 7 additions & 4 deletions DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs
Original file line number Diff line number Diff line change
Expand Up @@ -8,14 +8,17 @@ namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.in

public partial class InternalLegacyOverride
{
public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy _policy {
public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy _policy
{
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 {
get {
public software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ILegacyPolicy policy
{
get
{
return this._policy;
}
}
}
public static Wrappers_Compile._IResult<
Wrappers_Compile._IOption<InternalLegacyOverride>,
Expand Down

0 comments on commit 3e17992

Please sign in to comment.