-
Alexandre Duret-Lutz authored
* spot/ltsmin/ltsmin.cc, spot/misc/tmpfile.cc, spot/parseaut/parseaut.yy, spot/taalgos/dot.cc, spot/tl/hierarchy.cc, spot/tl/unabbrev.cc, spot/twa/acc.cc, spot/twa/twagraph.cc, spot/twaalgos/dot.cc, spot/twaalgos/hoa.cc, spot/twaalgos/lbtt.cc, spot/twaalgos/neverclaim.cc, spot/twaalgos/strength.cc, spot/twaalgos/word.cc: Replace std::string("foo") by "foo"s, and include namespace std::string_literals.
d0819350