m

aws · Oct 5, 2023 · 5282565 · 5282565
1 parent d5118df
commit 5282565
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/ExecuteTransactionTransform.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/ExecuteTransactionTransform.dfy
@@ -48,7 +48,6 @@ module ExecuteTransactionTransform {
       var tableName := DdbStatement.TableFromStatement(statement);
       if tableName.Failure? {
         return Failure(Error.DynamoDbEncryptionTransformsException(message := tableName.error));
-        var tableName :- MapString(DdbStatement.TableFromStatement(statement));
       }
       if tableName.value in config.tableEncryptionConfigs {
         return MakeError("ExecuteTransaction not Supported on encrypted tables.");