Merge branch 'master' of git+ssh://git.renater.fr:2222/scmrepos/git/otawa/otawa

bc8c187f · Hugues Cassé · 766985d9 · 878a26b9 · bc8c187f
Commit bc8c187f authored 5 years ago by Hugues Cassé
--- a/src/etime/StandardILPGenerator.cpp
+++ b/src/etime/StandardILPGenerator.cpp
@@ -567,6 +567,7 @@ void StandardILPGenerator::process(Edge *e) {
 				faulty = events[ei].inst();
 				break;
 			}
+			ei++;
 		}

 		// roll-back events of the faulty instruction