-
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.