• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.