Update dat3m hash

Signed-off-by: Hernan Ponce de Leon <[email protected]>
open-s4c · Jun 13, 2024 · fab0ece · fab0ece
1 parent 27dda6c
commit fab0ece
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 "3b54c479161ee4d7a5d13f248c4439fb992a2d7b"
+ && git checkout "f417e5b8250c810c196cff7cfb782249681b7d86"
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \