about summary refs log tree commit diff homepage
path: root/unittests
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2013-03-11 18:01:23 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2013-03-11 18:01:23 +0000
commit925bbe4d40cd1a40b95e6304e540223ba4680549 (patch)
treef41b26ff38fa12bdfb67f5a3e790a5b310ea2fe1 /unittests
parent4c6dc629dc736beab2b24f83d5ed6707efb10fc0 (diff)
downloadklee-925bbe4d40cd1a40b95e6304e540223ba4680549.tar.gz
Small patch by Dan Liew removing unnecessary line from a Makefile.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176816 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'unittests')
-rw-r--r--unittests/Expr/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/unittests/Expr/Makefile b/unittests/Expr/Makefile
index b5c6bdb3..f1cd4ec4 100644
--- a/unittests/Expr/Makefile
+++ b/unittests/Expr/Makefile
@@ -5,7 +5,6 @@ include $(LEVEL)/Makefile.config
 
 TESTNAME := Expr
 USEDLIBS := kleaverExpr.a kleeBasic.a
-USEDLIBS += $(STP_LIBS)
 LINK_COMPONENTS := support
 
 include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest