Comment 9 for bug 1090272

Yes, la_index is better.

--
Anders

On Wed, Dec 19, 2012 at 07:12:14PM -0000, Garth Wells wrote:
> Changed dolfin::DolfinIndex - > dolfin::la_index
>
> dolfin::index seemed to common, especially since we use
>
> using namespace dolfin;
>
> in (almost) all .cpp files.
>
> ** Changed in: dolfin
> Status: In Progress => Fix Committed
>