Don't use std::vector::data()
authorMarco Costalba <mcostalba@gmail.com>
Thu, 13 Jun 2013 05:42:43 +0000 (07:42 +0200)
committerMarco Costalba <mcostalba@gmail.com>
Thu, 13 Jun 2013 05:42:43 +0000 (07:42 +0200)
commitb6e9d901b0f82e8500acfad590649bdad9a7756f
tree0f242ec2d8fde3ca48766ec156f5f1145742c201
parent1b7223a53c419212efbd6a513b83b8b5deb3ea5c
Don't use std::vector::data()

It is a C++11 only function.

Reported by Eelco.

No functional change.
src/search.cpp