comparison src/os/linux/vm/os_linux.hpp @ 5101:f61058a128d3

Consitency in killCFG : kill the loop before deleteing the loopbegin when removing a dead loop
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 19 Mar 2012 12:01:20 +0100
parents 7c2653aefc46
children 7432b9db36ff
comparison
equal deleted inserted replaced
5100:d8b414300a2e 5101:f61058a128d3