-
Alexandre Duret-Lutz authored
This was noticed while looking at a false-positive in the report for PVS-Studio, in #192. * spot/misc/optionmap.cc: Do not remove the option from unused_ twice..
c31ba658
This was noticed while looking at a false-positive in the report for PVS-Studio, in #192. * spot/misc/optionmap.cc: Do not remove the option from unused_ twice..