Nikita Kniazev ee575b34c5 Fix unused argument warning ...

boost/optional/optional.hpp:970:5: warning: unused parameter 'rhs' [-Wunused-parameter]

2019-02-28 00:13:00 +03:00

..

boost

Fix unused argument warning

2019-02-28 00:13:00 +03:00