From 925bbe4d40cd1a40b95e6304e540223ba4680549 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 11 Mar 2013 18:01:23 +0000 Subject: 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 --- unittests/Expr/Makefile | 1 - 1 file changed, 1 deletion(-) 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 -- cgit 1.4.1