Fix comment as suggested

GaloisInc · Jan 28, 2025 · 337cc4d · 337cc4d
1 parent 418129e
commit 337cc4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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