Merge branch '1.4.x'

[cvc5.git] / README

diff --git a/README b/README
index c5b751d0a5200009c14c0b193788b67b813afebd..bd4f29b57d10a44a8f822744ea43cfe827513384 100644 (file)
--- a/README
+++ b/README
@@ -1,4 +1,4 @@
-This is CVC4 release version 1.3.  For build and installation notes,
+This is CVC4 release version 1.4.  For build and installation notes,
 please see the INSTALL file included with this distribution.
 
 This first official release of CVC4 is the result of more than three