-
Alexandre Duret-Lutz authored
* src/bin/common_trans.cc: Fix conditional compilation. * src/bin/ltldo.cc, src/bin/ltlcross.cc: Include sys/wait.h.
6819cee6
* src/bin/common_trans.cc: Fix conditional compilation. * src/bin/ltldo.cc, src/bin/ltlcross.cc: Include sys/wait.h.