1 files changed, 1 insertions, 1 deletions
diff --git a/ci.sh b/ci.sh
index b15ed4d..17a480f 100755
--- a/ci.sh
+++ b/ci.sh
@@ -45,7 +45,7 @@ gend
 
 gstart "[Build] ghdl/synth:formal" "$ANSI_MAGENTA"
 docker build -t ghdl/synth:formal --build-arg IMAGE='ghdl/synth:beta' . -f- <<-EOF
-$(curl -fsSL https://github.com/ghdl/docker/raw/master/dockerfiles/synth_formal)
+$(curl -fsSL https://github.com/ghdl/docker/raw/master/synth_formal.dockerfile)
 EOF
 gend "formal"