From 7f4ae9b520aa1f1e5df789d237e66c87bd05db96 Mon Sep 17 00:00:00 2001 From: Stephan Falke Date: Wed, 16 Apr 2014 10:11:39 +0200 Subject: Fixed compilation error if uClibc is not used. --- tools/klee/main.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index a2268c83..07c33f2a 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1000,7 +1000,7 @@ static char *format_tdiff(char *buf, long seconds) } #ifndef SUPPORT_KLEE_UCLIBC -static llvm::Module *linkWithUclibc(llvm::Module *mainModule, llvm::sys::Path libDir) { +static llvm::Module *linkWithUclibc(llvm::Module *mainModule, StringRef libDir) { fprintf(stderr, "error: invalid libc, no uclibc support!\n"); exit(1); return 0; -- cgit 1.4.1