Closed this issue 4 years ago · 0 comments
refl.hpp(3646,19): warning : unused function 'next_depth' [-Wunused-function]
Introduced in #34