• Alexandre Duret-Lutz's avatar
    [lbtt] · a6b95836
    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