Skip to content
Find file Blame History Permalink
  • Guillaume Sadegh's avatar
    Minor fixes to compile with GCC 4.4. · bbbc1acc
    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