Reformulate (#7305)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index aaad41e9f7927cd21c049d1437376fb75f9452fb..8e5a9c7e77b3394c1f2e21985dcd4616c4e087b5 100644 (file)
--- 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()