Julia Lawall <julia.lawall@lip6.fr> wrote:> Use BUG_ON instead of a if condition followed by BUG.I've already fixed that, thanks, just not pushed it yet.David