Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
hoaf.cc
Find file
Blame
History
Permalink
hoa: fix output
· e1d4522c
Alexandre Duret-Lutz
authored
Nov 18, 2014
* src/tgbaalgos/hoaf.cc: Do not initialize acc_cond::mark_t with -1U.
e1d4522c