From: Gereon Kremer <nafur42@gmail.com>
Date: Tue, 5 Oct 2021 16:45:08 +0000 (-0700)
Subject: Reformulate (#7305)
X-Git-Tag: cvc5-1.0.0~1123
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=35de43d011528e34f42363c1d201b10bf254d386;p=cvc5.git

Reformulate (#7305)
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index aaad41e9f..8e5a9c7e7 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -697,11 +697,11 @@ else()
   "\n"
   "Note that this configuration is NOT built against any GPL'ed libraries, so"
   "\n"
-  "it is covered by the (modified) BSD license.  This is, however, not the best"
+  "it is covered by the (modified) BSD license.  To build against GPL'ed"
   "\n"
-  "performing configuration of cvc5.  To build against GPL'ed libraries which"
+  "libraries which can improve cvc5's performance on arithmetic and bitvector"
   "\n"
-  "improve cvc5's performance, re-configure with '-DENABLE_GPL -DENABLE_BEST'."
+  "logics, re-configure with '-DENABLE_GPL -DENABLE_BEST'."
   )
 endif()