tree f0f0807bfb0c102285b2a601d64957702570db22
parent d2856a41eff554f63eeb4dabbfda34323437f5f5
author Davide Pesavento <davide.pesavento@lip6.fr> 1442689905 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1442692594 +0200

Use make_unique where appropriate

Change-Id: I30c9f0fb2033a810df73a1c9147fcf09d610f763
Refs: #3093