diff options
Diffstat (limited to 'contrib/get-drat2er')
-rwxr-xr-x | contrib/get-drat2er | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-drat2er b/contrib/get-drat2er index 318de1b83..803add62f 100755 --- a/contrib/get-drat2er +++ b/contrib/get-drat2er @@ -16,5 +16,5 @@ cmake .. -DCMAKE_INSTALL_PREFIX="$INSTALL_DIR" make install -j$(nproc) echo -echo ===================== Now configure CVC4 with ===================== +echo ===================== Now configure cvc5 with ===================== echo ./configure.sh --drat2er |