• Alexandre Duret-Lutz's avatar
    Fix verbatim blocks of Doxygen comments. · 1cd9b204
    Alexandre Duret-Lutz authored
    * src/ltlast/formula.hh, src/ltlvisit/contain.hh,
    src/ltlvisit/randomltl.hh, src/ltlvisit/reduce.hh,
    src/ltlvisit/remove_x.hh, src/ltlvisit/simplify.hh, src/ltlvisit/snf.hh,
    src/misc/minato.hh, src/misc/optionmap.hh,
    src/saba/sabacomplementtgba.hh, src/taalgos/emptinessta.hh,
    src/taalgos/minimize.hh, src/taalgos/tgba2ta.hh,
    src/tgba/tgbakvcomplement.hh, src/tgbaalgos/cycles.hh,
    src/tgbaalgos/eltl2tgba_lacim.hh, src/tgbaalgos/gtec/gtec.hh,
    src/tgbaalgos/gv04.hh, src/tgbaalgos/ltl2taa.hh,
    src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_lacim.hh,
    src/tgbaalgos/magic.hh, src/tgbaalgos/minimize.hh,
    src/tgbaalgos/randomgraph.hh, src/tgbaalgos/se05.hh,
    src/tgbaalgos/simulation.hh, src/tgbaalgos/tau03.hh,
    src/tgbaalgos/tau03opt.hh: Surround verbatim blocks with /** ... */
    instead of using /// on each line.  Otherwise Doxygen will output the
    leading "///" tokens -- apparently this is a feature.
    * src/sanity/style.test: Strip multi-line comments before checking
    code style.
    1cd9b204