Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#77
get rid of auto_ptr, it's deprecated
There is at least one use of auto_ptr in ltl2tgba_fm.cc. gcc 5.0 warns about it.