Fix #435 reported by Yann Thierry-Mieg. * spot/ltsmin/ltsmin.cc (sym): Fix incorrect check introduced by dc4a4771.