-
Alexandre Duret-Lutz authored
* iface/gspn/ssp.cc, src/ltltest/reduc.cc, src/ltltest/syntimpl.cc, src/ltlvisit/basereduc.cc, src/ltlvisit/reducform.cc, src/ltlvisit/syntimpl.cc: Use 0 instead of NULL.
8e324fa2
To find the state of this project's repository at the time of any of these versions, check out the tags.