tree 99c5a9400c888daf931ea54e1e77885a7b149d25
parent e17898926d643363eea8477275860076a182f146
author Davide Pesavento <davide.pesavento@lip6.fr> 1488143116 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1488157186 -0500

encoding: explicitly declare RouteFlags as uint64_t

It was always expected to be a 64-bit unsigned value,
but it was not declared as such.

Change-Id: I2648c115d0f8052d671946aa8f40e883b0ab449e
Refs: #3903