fix: variable name collision fix for Go

aws · Oct 15, 2024 · ceaec06 · ceaec06
1 parent 656d046
commit ceaec06
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...ryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DDBKeystoreOperations.dfy b/...ryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DDBKeystoreOperations.dfy
@@ -350,7 +350,7 @@ module DDBKeystoreOperations {
   function method CreateTransactWritePutItem(
     item: DDB.AttributeMap,
     tableName: DDB.TableName,
-    ConditionExpression: ConditionExpression
+    conditionExpression: ConditionExpression
   ): (output: DDB.TransactWriteItem)
   {
 
@@ -361,7 +361,7 @@ module DDBKeystoreOperations {
           Item := item,
           TableName := tableName,
           ConditionExpression := Some(
-            match ConditionExpression
+            match conditionExpression
             case BRANCH_KEY_NOT_EXIST() => BRANCH_KEY_NOT_EXIST_CONDITION
             case BRANCH_KEY_EXISTS() => BRANCH_KEY_EXISTS_CONDITION
           ),