From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Tue, 20 Jul 2021 17:36:41 +0000 (-0300)
Subject: [AUTHORS] Add CVC4 as part of CVC series (#6907)
X-Git-Tag: cvc5-1.0.0~1468
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3f3c38e4d1a9aa2b820760a678e42ea85b027259;p=cvc5.git

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

diff --git a/AUTHORS b/AUTHORS
index 2b3e244c5..8726b6e2d 100644
--- 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.