From 35de43d011528e34f42363c1d201b10bf254d386 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 5 Oct 2021 09:45:08 -0700 Subject: [PATCH] Reformulate (#7305) --- CMakeLists.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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() -- 2.30.2