-
Alexandre Duret-Lutz authored
Fix #435 reported by Yann Thierry-Mieg. * spot/ltsmin/spins_interface.cc (sym): Fix incorrect check introduced by dc4a4771.
51993e4e
Fix #435 reported by Yann Thierry-Mieg. * spot/ltsmin/spins_interface.cc (sym): Fix incorrect check introduced by dc4a4771.