Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgba
tgbaexplicit.hh
Find file
Blame
History
Permalink
Correct a bug in tgba_explicit_succ_iterator class
· 937248e5
Pierre PARUTTO
authored
Apr 06, 2012
and
Alexandre Duret-Lutz
committed
Apr 12, 2012
* src/tgba/tgbaexplicit.hh (current_acceptance_conditiosn): remove a suspect and in return statement
937248e5