(Just a cosmetic change to make things a bit more readable)
---
tools/klee/main.cpp | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index dc335cd..0224c1d 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -977,9 +977,8 @@ static llvm::Module *linkWithUclibc(llvm::Module
*mainModule) {
// versions are present in the module, make sure we don't create a
// naming conflict.
for (Module::iterator fi = mainModule->begin(), fe = mainModule->end();
- fi != fe;) {
+ fi != fe; ++fi) {
Function *f = fi;
- ++fi;
const std::string &name = f->getName();
if (name[0]=='\01') {
unsigned size = name.size();
--
1.7.10.4
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
