diff options
| -rw-r--r-- | lib/Module/ModuleUtil.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 349defb3..58096de4 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -327,8 +327,7 @@ static bool linkBCA(object::Archive* archive, Module* composite, std::string& er passCounter++; DEBUG_WITH_TYPE("klee_linker", dbgs() << "Completed " << passCounter << " linker passes.\n" << modulesLoadedOnPass << - " modules loaded on the last pass\n" << - archiveModules.size() << " modules left.\n"); + " modules loaded on the last pass\n"); } while (undefinedSymbols != previouslyUndefinedSymbols); // Iterate until we reach a fixed point |