Lars Gullik Bj?nnes wrote: > diff --git a/src/support/shared_ptr.h b/src/support/shared_ptr.h > index 69e42da..792beb2 100644 > --- a/src/support/shared_ptr.h > +++ b/src/support/shared_ptr.h > @@ -12,22 +12,6 @@ > #ifndef LYX_SHARED_PTR_H > #define LYX_SHARED_PTR_H > > -#ifdef LYX_USE_TR1 > - > -#include <memory> > - > -#ifdef __GNUC__ > -#include <tr1/memory> > -#endif > - > -namespace lyx > -{ > - using std::tr1::shared_ptr; > - using std::tr1::const_pointer_cast; > -} > - > -#else > -
Didn't we have plans (and actually tried on last meeting) to finally drop boost and use TR1 instead? Not that I have strong opinion about either direction but this looks to me as if we bounce from one corner to the other corner. Pavel