msoos/cryptominisat — pull request #190 by delcypher (2014-06-18 21:04:14+00:00)
Title: Fix compilation under gcc 4.9 and clang 3.4 (both using libstdc++)

by adding missing include required for use of std::function