Wrap local vars in std::move (Clang 7 build fix)#3239

Merged

kroening merged 1 commit intodiffblue:developfrom

karkhaz:kk-bugfix-clang-7-Wreturn-std-move

Oct 28, 2018

Commits on Oct 28, 2018

Wrap local vars in std::move (Clang 7 build fix)
karkhaz
committed