• Alexandre Duret-Lutz's avatar
    c++11: get rid of spot::unique_ptr · 67b9e8d8
    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
simulation.cc 51.1 KB