# HG changeset patch
# User gedeone-octave <marco.vassallo@outlook.com>
# Date 1373900416 -7200
# Node ID 798ff8c0041d3f76dea0ec781d1cf9ff3a6e38ce
# Parent  82660c13123c095b51c6f5459390dcfd7b412dd5
The method return a boost::shared_ptr instead of a dolfin::FunctionSpace

diff -r 82660c13123c -r 798ff8c0041d src/functionspace.h
--- a/src/functionspace.h	Mon Jul 15 16:58:52 2013 +0200
+++ b/src/functionspace.h	Mon Jul 15 17:00:16 2013 +0200
@@ -43,6 +43,9 @@
   const dolfin::FunctionSpace & get_fsp (void) const
   { return (*fsp); }
 
+  const boost::shared_ptr <const dolfin::FunctionSpace> & get_pfsp (void) const
+  { return fsp; }
+
   void set_fsp (dolfin::FunctionSpace & _fsp)
   {
     dolfin::FunctionSpace * p = new dolfin::FunctionSpace (_fsp);