-
Guillaume Sadegh authored
2009-04-09 Guillaume SADEGH <sadegh@lrde.epita.fr> * src/eltlparse/eltlparse.yy (subformula): Avoid a comparaison between a signed and an unsigned value. * src/ltlast/automatop.hh, src/ltlast/automatop.cc (nfa): Avoid a name clash with the `nfa' class.
bbbc1acc