Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgba
acc.cc
Find file
Blame
History
Permalink
acc: avoid superfluous parentheses when printing acceptance
· f325cddc
Alexandre Duret-Lutz
authored
Feb 20, 2015
* src/tgba/acc.cc: Do not output (Inf(x)) or (Fin(x)). * src/tgbatest/acc.test: Adjust.
f325cddc