diff --git a/Dockerfile b/Dockerfile index 9626465d9e..9b1a1632cb 100644 --- a/Dockerfile +++ b/Dockerfile @@ -58,7 +58,7 @@ ADD . calyx WORKDIR /home/calyx RUN cargo build --all && \ cargo install vcdump && \ - cargo install runt --version 0.4.1 + cargo install runt --version 0.4.0 # Install fud WORKDIR /home/calyx/fud