Is there a reason why this sets the blocking literal to other rather than lit?

[msoos]

Hi Armin,

Is there a reason why this is not setting the blocking literal to lit? I am getting worse performance in another solver when this is other, rather than lit.

cadical/src/propagate.cpp

Line 424 in 2df7b7f

watch_literal (s, other, w.clause);

It may be best this way in CaDiCaL, but it seems a bit odd, given that in the other case, CaDiCaL is also setting lit rather than other as the blocking literal.

[m-fleury]

As far as I can see, this code is only used with --chrono=2, which is not the default value anyway.