-
Alexandre Duret-Lutz authored
Kill some warnings on Ubuntu. * src/UserCommandReader.cc (UserCommandInterface): Explicitly ignore the return code of system() to kill a warning. * src/TestOperations.cc (generateBuchiAutomaton): Explicitly ignore the return code of write() to kill a warning.
a6b95836