Minor change: class linear_tree in linear_tree.cpp