From 0d8b8a3301c2076525301d780762c3ae79f0264e Mon Sep 17 00:00:00 2001
From: Hernan Ponce de Leon <hernanl.leon@huawei.com>
Date: Sat, 29 Jun 2024 10:11:58 +0200
Subject: [PATCH] Update dat3m hash

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 5df6e6c..a5ff5cc 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -70,7 +70,7 @@ RUN cd /tmp \
  && git clone \
      https://github.com/hernanponcedeleon/dat3m.git \
  && cd dat3m \
- && git checkout "34f5a5b74ef9ddfd965d200fb8110f0e550fc056"
+ && git checkout "a2c2c5df5d81381cf4598e4cb5a061a4366e4af0"
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \