Use runt version 0.4.0 (#1804)

calyxir · Dec 13, 2023 · f8617ee · f8617ee
1 parent 2a6852f
commit f8617ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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