diff --git a/docker/Dockerfile b/docker/Dockerfile
index 3ecac13..151fbe8 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -2,4 +2,4 @@ FROM ocaml/opam:ubuntu-20.04-ocaml-5.1
 
 RUN opam install dune.3.12.1 menhir.20230608 sedlex.3.2
 
-RUN git clone https://github.com/thiagofelicissimo/BiTTs
+RUN git clone --branch esop-artifact https://github.com/thiagofelicissimo/BiTTs