tree 3c1754492b5a786a65b33fdbdb4d4241a628365f
parent 8d7d09abf8b5e4609e0027c52dcbff3dc68ac533
author Matthew Fernandez <matthew.fernandez@nicta.com.au> 1463377583 +1000
committer Matthew Fernandez <matthew.fernandez@nicta.com.au> 1463377583 +1000

libsel4allocman: Fix missing initialised field.

This commit fixes an instance where a struct was initialised with an incorrect
number of fields. The compiler figured out what was meant, so no harm was done,
but the previous code was technically incorrect.