From 337cc4d94226e173b1418e881668e830da2c047b Mon Sep 17 00:00:00 2001
From: David Holland <dholland@galois.com>
Date: Tue, 28 Jan 2025 15:43:16 -0500
Subject: [PATCH] Fix comment as suggested

---
 scripts/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/install.sh b/scripts/install.sh
index bbf64d92..ba2d2dd6 100755
--- a/scripts/install.sh
+++ b/scripts/install.sh
@@ -49,7 +49,7 @@ then
     cp deps/yices/*/bin/yices-smt2 bin/yices-smt2
 fi
 
-# fetch what4_solvers for ABC
+# fetch ABC from what4_solvers
 if [ ! -f bin/abc ]
 then
     mkdir -p deps/abc