-
Alexandre Duret-Lutz authored
The removes a warning about the return code from write() being ignored. Reported by Thomas Badie. * src/bin/ltlcross.cc (string_to_tmp): Call error() on error.
49d384b1
The removes a warning about the return code from write() being ignored. Reported by Thomas Badie. * src/bin/ltlcross.cc (string_to_tmp): Call error() on error.