Fixed error when changing Minisat::vec to std::vector