-
Alexandre Duret-Lutz authored
src/ltlast/refformula.hh, src/ltlenv/defaultenv.hh, src/misc/bareword.hh, src/tgba/succiter.hh, src/tgba/tgbabddfactory.hh, src/tgba/tgbareduc.hh, src/tgbaalgos/dupexp.hh, src/tgbaalgos/emptiness_stats.hh, src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_lacim.hh, src/tgbaalgos/reductgba_sim.hh, src/tgbaalgos/tau03opt.hh: Add or fix include guards. * src/sanity/includes.test: Check the presence of the include guard.
000c041a