Skip to content

Commit 95bd647

Browse files
committed
m
1 parent 70f7440 commit 95bd647

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryption/TypeConversion.cs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb
77
{
88
public static class TypeConversion
99
{
10-
private const string ISO8601DateFormat = "yyyy-MM-dd\\THH:mm:ss.fff\\Z";
11-
12-
private const string ISO8601DateFormatNoMS = "yyyy-MM-dd\\THH:mm:ss\\Z";
13-
1410
public static AWS.Cryptography.DbEncryptionSDK.DynamoDb.AsSet FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S5_AsSet(software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IAsSet value)
1511
{
1612
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.AsSet concrete = (software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.AsSet)value; AWS.Cryptography.DbEncryptionSDK.DynamoDb.AsSet converted = new AWS.Cryptography.DbEncryptionSDK.DynamoDb.AsSet(); return converted;

0 commit comments

Comments
 (0)