Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
minimize.cc
Find file
Blame
History
Permalink
minimize: cosmetics
· 1578cdf8
Alexandre Duret-Lutz
authored
Jan 13, 2015
* src/tgbaalgos/minimize.cc (minimize_monitor): Simplify the call to tgba_powerset.
1578cdf8