summaryrefslogtreecommitdiff
path: root/src/verify.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/verify.cc')
-rw-r--r--src/verify.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/verify.cc b/src/verify.cc
index 0003e0a6..3e335b71 100644
--- a/src/verify.cc
+++ b/src/verify.cc
@@ -88,6 +88,7 @@
using std::cout;
using std::dynamic_pointer_cast;
+using std::function;
using std::list;
using std::make_shared;
using std::map;
@@ -97,7 +98,6 @@ using std::shared_ptr;
using std::string;
using std::vector;
using boost::optional;
-using boost::function;
using namespace dcp;