• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.