-
Alexandre Duret-Lutz authored
* src/twaalgos/emptiness.hh, src/twaalgos/emptiness.cc: Declare the operator<< for twa_run, not for twa_run_ptr (the shared_ptr automatically forward operator<<). * wrap/python/spot_impl.i: Add __str__ to twa_run, not twa_run_ptr.
aaff42ee