alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

c++11: Replace boost::shared_ptr by std::shared_ptr.

Browse source 
* src/eltlparse/eltlparse.yy, src/ltlast/formula_tree.hh,
src/ltlast/nfa.hh, src/saba/sabastate.hh, src/tgba/state.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2013-12-18 16:45:28 +01:00
parent 67b9e8d882
commit 90a43db5a4
5 changed files with 13 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgba/state.hh
View file

@ -28,7 +28,7 @@
#include <bdd.h>
#include <cassert>
#include <functional>
#include <boost/shared_ptr.hpp>
#include <memory>
#include "misc/casts.hh"
#include "misc/hash.hh"
@ -179,7 +179,7 @@ namespace spot
// Functions related to shared_ptr.
//////////////////////////////////////////////////
typedef boost::shared_ptr<const state> shared_state;
typedef std::shared_ptr<const state> shared_state;
inline void shared_state_deleter(state* s) { s->destroy(); }