Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
postproc.cc
Find file
Blame
History
Permalink
postproc: fix a fixme
· 7f48a08e
Alexandre Duret-Lutz
authored
Jun 21, 2019
* spot/twaalgos/postproc.cc: Fix reject_bigger argument of minimize_obligation for --low.
7f48a08e