We've been using const and shared_ptr differently in a few places. The
correct usage as far as I understand is
std::tr1::shared_ptr<const Foo> foo
and not
const std::tr1::shared_ptr<Foo> foo
The first (correct) usage corresponds to
const Foo& foo
or
const Foo* foo
that is, one cannot change the object pointed to.
------------------------------------------------------------------------
_______________________________________________
DOLFIN-dev mailing list
DOLFIN-dev@xxxxxxxxxx
http://www.fenics.org/mailman/listinfo/dolfin-dev