From 86279ca68dd53523ac8499544cd5e364c0c8f447 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Mon, 25 Dec 2023 05:58:55 -0800
Subject: [PATCH] Removed old comment from wally-tool-chain-install

---
 bin/wally-tool-chain-install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh
index ef2f9bcc7..ca9fdaa0e 100755
--- a/bin/wally-tool-chain-install.sh
+++ b/bin/wally-tool-chain-install.sh
@@ -124,7 +124,7 @@ git clone https://github.com/verilator/verilator   # Only first time
 unset VERILATOR_ROOT     # For bash
 cd verilator
 git pull         # Make sure git repository is up-to-date
-git checkout master      # Use development branch (e.g. recent bug fixes)
+git checkout master      
 autoconf         # Create ./configure script
 ./configure      # Configure and create Makefile
 make -j ${NUM_THREADS}  # Build Verilator itself (if error, try just 'make')