Update dat3m hash

Signed-off-by: h00807494 <[email protected]>
open-s4c · May 10, 2024 · dbacb3f · dbacb3f
1 parent 9b1a74b
commit dbacb3f
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 "abab4597e3035b92485a10bfd2926716ea46474a"
+ && git checkout "c48cc9f2b726f0f99947dacfbd88c99b281ff173"
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \