Fixed a small bug in the tutorial that was introduced by cline

Author: ankushdesai

Tutorial/2_TwoPhaseCommit/PSrc/Coordinator.p

@@ -315,7 +315,7 @@ machine Coordinator
    */
   fun DoGlobalCommit() {
     // Record this transaction ID as processed
-    processedTransactionIds += activeWriteRequest.trans.transId;
+    processedTransactionIds += (activeWriteRequest.trans.transId);
 
     // Instruct all participants to permanently commit the transaction
     BroadcastToAllParticipants(eCommitTrans, activeWriteRequest.trans.transId);

Tutorial/2_TwoPhaseCommit/PSrc/Participant.p

@@ -77,8 +77,7 @@ machine Participant {
         transactionId, pendingTransactions);
 
       // Apply the transaction to the key-value store (make it permanent)
-      var transaction = pendingTransactions[transactionId];
-      keyValueStore[transaction.key] = transaction;
+      keyValueStore[pendingTransactions[transactionId].key] = pendingTransactions[transactionId];
 
       // Remove from pending transactions since it's now committed
       pendingTransactions -= (transactionId);