Remove an unnecessary using.

diff --git a/src/verify.cc b/src/verify.cc
index e7a55d4c833ff478d60a6bd5aac4c6b4d1471048..771898da5b8869e9f5a85230ac62738b27709004 100644 (file)
--- a/src/verify.cc
+++ b/src/verify.cc
@@ -88,7 +88,6 @@ using std::string;
 using std::cout;
 using std::map;
 using std::max;
-using std::set;
 using std::shared_ptr;
 using std::make_shared;
 using boost::optional;