Skip to content
Find file Blame History Permalink
  • 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.