tree 9408e77f29931b2d3bf5149d304857fb23cf5c8f
parent a1302f64ebcb173e44a1ff392cb0be0ded78f9ab
author Davide Pesavento <davide.pesavento@lip6.fr> 1509496489 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1509683985 -0400

security: don't call front() on empty vector

Change-Id: Ie267005f2ecc8c57d847ad35095a6df283e146b9