alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* bin/common_aoutput.cc: Remove a dead assignment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2017-03-15 17:12:29 +01:00
parent 270b18ebdb
commit 1290d48379
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
bin/common_aoutput.cc
View file

@ -625,7 +625,6 @@ void printable_automaton::print(std::ostream& os, const char* pos) const
auto end = strchr(pos, ']'); auto end = strchr(pos, ']');
options = std::string(pos, end - pos); options = std::string(pos, end - pos);
options += 'l'; options += 'l';
pos = end + 1;
} }
print_hoa(os, val_, options.c_str()); print_hoa(os, val_, options.c_str());
} }