Skip to content
  • Alexandre Duret-Lutz's avatar
    [lbtt] Fix issues reported by Clang++ 3.1. · 37934548
    Alexandre Duret-Lutz authored
    * src/Graph.h.in (PathElement::hasEdge): Check the correct
    pointer, not the address of some member function.
    * src/BuchiAutomaton.cc, src/Configuration.cc,
    src/TestOperations.cc, src/TestOperations.h: Recode these files in
    utf-8.
    37934548
To find the state of this project's repository at the time of any of these versions, check out the tags.