-
Alexandre Duret-Lutz authored
* src/tgbaalgos/simulation.cc (direct_simulation): Do not store the original_ automaton as a reference. Otherwise with LTO (+ probably NRVO) we get a situation where the result automaton (that will be stored in original_) copies the properties of itself.
a530498f