-
Alexandre Duret-Lutz authored
These were not actually printing in "SERE" mode due to a copy/paste error. PVS-Studio seems really good at finding those. For #192. * spot/tl/print.cc: Fix it. * NEWS: Mention the bug.
a5fb5784
These were not actually printing in "SERE" mode due to a copy/paste error. PVS-Studio seems really good at finding those. For #192. * spot/tl/print.cc: Fix it. * NEWS: Mention the bug.