From 5c66788b31218776b84de41293136a17b46dc8d0 Mon Sep 17 00:00:00 2001
From: MWSchutte <marcus.schutte@live.nl>
Date: Mon, 15 Apr 2024 09:52:05 +0200
Subject: [PATCH] Set abort lock true such that transactions are rescheduled
 properly.

---
 protocol/Aria/Aria.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/protocol/Aria/Aria.h b/protocol/Aria/Aria.h
index 762c9ed..4c7de31 100644
--- a/protocol/Aria/Aria.h
+++ b/protocol/Aria/Aria.h
@@ -28,7 +28,7 @@ template <class Database> class Aria {
 
   void abort(TransactionType &txn,
              std::vector<std::unique_ptr<Message>> &messages) {
-    // nothing needs to be done
+    txn.abort_lock = true
   }
 
   bool commit(TransactionType &txn,