From 4dd450a96c52a74fd207d32d5c32ffb68c2863da Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Tue, 5 Oct 2021 21:02:40 +0200 Subject: Remove an unnecessary using. --- src/verify.cc | 1 - 1 file changed, 1 deletion(-) (limited to 'src') diff --git a/src/verify.cc b/src/verify.cc index e7a55d4c..771898da 100644 --- 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; -- cgit v1.2.3