diff options
Diffstat (limited to 'src/verify.cc')
| -rw-r--r-- | src/verify.cc | 2 |
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; |
