From f8f6c637b24f11703a9991361df8c4260242dbd9 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sat, 25 Jul 2009 05:17:51 +0000 Subject: (llvm up) Update for llvm::Value getName() change. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77049 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/ExecutorTimers.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core/ExecutorTimers.cpp') diff --git a/lib/Core/ExecutorTimers.cpp b/lib/Core/ExecutorTimers.cpp index 51792e0d..0c274d5c 100644 --- a/lib/Core/ExecutorTimers.cpp +++ b/lib/Core/ExecutorTimers.cpp @@ -155,7 +155,7 @@ void Executor::processTimers(ExecutionState *current, ++next; for (ExecutionState::stack_ty::iterator sfIt = es->stack.begin(), sf_ie = es->stack.end(); sfIt != sf_ie; ++sfIt) { - *os << "('" << sfIt->kf->function->getName() << "',"; + *os << "('" << sfIt->kf->function->getNameStr() << "',"; if (next == es->stack.end()) { *os << es->prevPC->info->line << "), "; } else { -- cgit 1.4.1