From f8617ee71dc50228143e3b02f7ac03c59a83dec3 Mon Sep 17 00:00:00 2001
From: Rachit Nigam <rachit.nigam12@gmail.com>
Date: Wed, 13 Dec 2023 10:31:09 -0500
Subject: [PATCH] Use runt version 0.4.0 (#1804)

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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