-
* src/misc/unique_ptr.hh: Create unique_ptr for Spot. * src/misc/Makefile.am: Register this new file. * src/tgbatest/ltl2tgba.cc: Replace two calls to delete by the utilisation of unique_ptr. * src/tgbaalgos/simulation.cc: Replace two calls to delete by the utilisation of unique_ptr.
f01d30eb