Update Dockerfile (#35)

Signed-off-by: Lilith Oberhauser <lilith.oberhauser@huawei.com>
open-s4c · Apr 19, 2024 · 8e5434e · 8e5434e
1 parent 80950cb
commit 8e5434e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -68,7 +68,7 @@ RUN cd /tmp \
  && git clone \
      https://github.com/hernanponcedeleon/dat3m.git \
  && cd dat3m \
- && git checkout "3aa3c6d64a397b85a5ce08b955fd4b8fa5dec241"
+ && git checkout "8d22e4283f26473ed88e226480d84acaf09fad07"
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \