From e4d028c8c11a308e1bd3938db1bb88a91d826c19 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 19 Nov 2016 11:19:01 +0000
Subject: [CMake] Remove unneeded dependency declarations for the unit tests.
 These were changes that I forgot to make in
 dda296e09ee53ed85ccf1c3f08e7e809adce612e .

---
 unittests/Ref/CMakeLists.txt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'unittests/Ref')

diff --git a/unittests/Ref/CMakeLists.txt b/unittests/Ref/CMakeLists.txt
index d678930c..facd26a3 100644
--- a/unittests/Ref/CMakeLists.txt
+++ b/unittests/Ref/CMakeLists.txt
@@ -1,6 +1,3 @@
 add_klee_unit_test(RefTest
   RefTest.cpp)
-# FIXME: KLEE's libraries should just declare what libraries
-# they depend on so we don't need to manually link.
-klee_get_llvm_libs(LLVM_LIBS Support)
-target_link_libraries(RefTest PRIVATE kleaverExpr ${LLVM_LIBS})
+target_link_libraries(RefTest PRIVATE kleaverExpr)
-- 
cgit 1.4.1