File tree 1 file changed +7
-4
lines changed
DynamoDbEncryption/runtimes/net/Extern
1 file changed +7
-4
lines changed Original file line number Diff line number Diff line change @@ -8,14 +8,17 @@ namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.in
8
8
9
9
public partial class InternalLegacyOverride
10
10
{
11
- public software . amazon . cryptography . dbencryptionsdk . dynamodb . internaldafny . types . _ILegacyPolicy _policy {
11
+ public software . amazon . cryptography . dbencryptionsdk . dynamodb . internaldafny . types . _ILegacyPolicy _policy
12
+ {
12
13
get => software . amazon . cryptography . dbencryptionsdk . dynamodb . internaldafny . types . LegacyPolicy . create_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT ( ) ;
13
14
set { }
14
15
}
15
- public software . amazon . cryptography . dbencryptionsdk . dynamodb . internaldafny . types . _ILegacyPolicy policy {
16
- get {
16
+ public software . amazon . cryptography . dbencryptionsdk . dynamodb . internaldafny . types . _ILegacyPolicy policy
17
+ {
18
+ get
19
+ {
17
20
return this . _policy ;
18
- }
21
+ }
19
22
}
20
23
public static Wrappers_Compile . _IResult <
21
24
Wrappers_Compile . _IOption < InternalLegacyOverride > ,
You can’t perform that action at this time.
0 commit comments