From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 16 Jun 2022 18:33:56 +0000 (-0700)
Subject: [CMake] Remove redundant code (#8885)
X-Git-Tag: cvc5-1.0.1~50
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b840858febd35dea9ca3606b8b7114395cef6f56;p=cvc5.git

[CMake] Remove redundant code (#8885)
---

diff --git a/cmake/FindEditline.cmake b/cmake/FindEditline.cmake
index b884a9de4..f525d7bf7 100644
--- a/cmake/FindEditline.cmake
+++ b/cmake/FindEditline.cmake
@@ -41,9 +41,7 @@ if(Editline_INCLUDE_DIRS)
   unset(CMAKE_REQUIRED_LIBRARIES)
   unset(CMAKE_REQUIRED_INCLUDES)
 
-  if(CMAKE_SYSTEM_NAME STREQUAL "Darwin")
-    set(Editline_LIBRARIES ${Editline_LIBRARIES})
-  else()
+  if(NOT CMAKE_SYSTEM_NAME STREQUAL "Darwin")
     set(Editline_LIBRARIES ${Editline_LIBRARIES} bsd tinfo)
   endif()
 endif()