[AUTHORS] Add CVC4 as part of CVC series (#6907)

diff --git a/AUTHORS b/AUTHORS
index 2b3e244c577e05fa6e253210ceed0eb6238967b7..8726b6e2d69f3c90eda2fa7dac8d51362699f7bd 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -38,8 +38,8 @@ Alumni:
 
 Other contributors to the cvc5 codebase are listed in the THANKS file.
 
-cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
-not directly incorporate code from any previous version prior to CVC4.
+cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3, CVC4) but
+does not directly incorporate code from any previous version prior to CVC4.
 Information about authors of previous CVC tools is included with their
 distributions.