Update dat3m hash

Signed-off-by: Hernan Ponce de Leon <[email protected]>
open-s4c · Jun 29, 2024 · 0d8b8a3 · 0d8b8a3
1 parent bc163d3
commit 0d8b8a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 \