Skip to content
  • Thomas Badie's avatar
    Create unique_ptr for Spot. · f01d30eb
    Thomas Badie authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * 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