Update Dockerfile

Signed-off-by: Lilith Oberhauser <lilith.oberhauser@huawei.com>
open-s4c · Apr 19, 2024 · 8f5ecaf · 8f5ecaf
1 parent 85ccde6
commit 8f5ecaf
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 "c2072ccb57d012cff76b553179f55809378a6420"
+ && git checkout "8d22e4283f26473ed88e226480d84acaf09fad07"
 
 RUN cd /tmp/dat3m \
  && mvn clean install -DskipTests \