Fix https://github.com/ClosureTree/closure_tree/issues/308#311

Merged

seuros merged 1 commit intoClosureTree:masterfrom

n-rodriguez:wip/rework_numeric

May 25, 2018

Commits on May 25, 2018

Fix https://github.com/ClosureTree/closure_tree/issues/308
n-rodriguez
committed