tree 4554f6d4b1ba31671b6a0ce0fde4f3b51c08deaf
parent 6b99b6f1857250ca85a4d1d24370c816573bd504
author Davide Pesavento <davidepesa@gmail.com> 1547692570 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1547850128 -0500

Use Boost.Range to simplify some code

Change-Id: I8ea55e324205c3f13096be6037e82aaab302bb55