--- a/src/HOL/Nunchaku.thy	Thu Jan 30 22:29:45 2025 +0100
+++ b/src/HOL/Nunchaku.thy	Wed Jan 08 15:19:37 2025 +0100
@@ -11,7 +11,7 @@
 
 The "$NUNCHAKU_HOME" environment variable must be set to the absolute path to
 the directory containing the "nunchaku" executable. The Isabelle components
-for CVC4, Kodkodi, and SMBC are necessary to use these backend solvers.
+for cvc5, Kodkodi, and SMBC are necessary to use these backend solvers.
 *)
 
 theory Nunchaku