July 12, 2018
3:45 p.m.
There's no reason this shouldn't be const. I think the header should be changed instead.
There's no reason this shouldn't be const. I think the header should be changed instead.