* spot/mc/bitstate.hh: use pre-increment style
* spot/mc/mc.hh,
  tests/ltsmin/modelcheck.cc: fix > 80 columns
* spot/misc/hashfunc.hh: missing space before comma