Change index type names
Bug #1090272 reported by
Garth Wells
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
DOLFIN |
Fix Released
|
Critical
|
Garth Wells |
Bug Description
Before next release, need to change
sizet -> size_t
in Python interface, and
DolfinIndex -> dolfin::index
Changed in dolfin: | |
importance: | Undecided → Critical |
Changed in dolfin: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
If you have not started on the SWIG side I can take responsibility of that.
Johan
On 12/14/2012 10:11 AM, Garth Wells wrote:
> Public bug reported:
>
> Before next release, need to change
>
> sizet -> size_t
>
> in Python interface, and
>
> DolfinIndex -> dolfin::index
>
> ** Affects: dolfin
> Importance: Critical
> Status: New
>
> ** Changed in: dolfin
> Importance: Undecided => Critical
>