equal
deleted
inserted
replaced
753 loop->_tail = back_control = ift2; |
753 loop->_tail = back_control = ift2; |
754 set_loop(ift2, loop); |
754 set_loop(ift2, loop); |
755 set_loop(iff2, get_loop(iffalse)); |
755 set_loop(iff2, get_loop(iffalse)); |
756 |
756 |
757 // Lazy update of 'get_ctrl' mechanism. |
757 // Lazy update of 'get_ctrl' mechanism. |
758 lazy_replace_proj( iffalse, iff2 ); |
758 lazy_replace(iffalse, iff2); |
759 lazy_replace_proj( iftrue, ift2 ); |
759 lazy_replace(iftrue, ift2); |
760 |
760 |
761 // Swap names |
761 // Swap names |
762 iffalse = iff2; |
762 iffalse = iff2; |
763 iftrue = ift2; |
763 iftrue = ift2; |
764 } else { |
764 } else { |