diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-03-11 18:01:23 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-03-11 18:01:23 +0000 |
| commit | 925bbe4d40cd1a40b95e6304e540223ba4680549 (patch) | |
| tree | f41b26ff38fa12bdfb67f5a3e790a5b310ea2fe1 | |
| parent | 4c6dc629dc736beab2b24f83d5ed6707efb10fc0 (diff) | |
| download | klee-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
| -rw-r--r-- | unittests/Expr/Makefile | 1 |
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 |