-
Alexandre Duret-Lutz authored
* src/ltlenv/declenv.cc, src/ltlenv/declenv.hh, src/ltlenv/defaultenv.cc, src/ltlenv/defaultenv.hh, src/ltlenv/environment.hh, src/tgbaalgos/compsusp.cc: Declare name as const.
Alexandre Duret-Lutz authored* src/ltlenv/declenv.cc, src/ltlenv/declenv.hh, src/ltlenv/defaultenv.cc, src/ltlenv/defaultenv.hh, src/ltlenv/environment.hh, src/tgbaalgos/compsusp.cc: Declare name as const.
Loading