-
Alexandre Duret-Lutz authored
But do not replace it by std::unique_ptr, because this was not really equivalent. * src/misc/unique_ptr.hh: Delete. * src/misc/Makefile.am: Adjust. * src/tgbaalgos/simulation.cc, src/tgbatest/ltl2tgba.cc: Call delete explicitly.
67b9e8d8