From a79af356a7e9b741ad8b9c332940fe964a9e7417 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 9 Jan 2023 13:18:47 +0000
Subject: [PATCH] avoid deprecated std::iterator

C++17 deprecates std::iterator.  The recommended alternative is to use an
iterator_category member.
---
 src/util/cmdline.h           | 2 +-
 src/util/dense_integer_map.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/cmdline.h b/src/util/cmdline.h
index 1d11496fd54..4c891137783 100644
--- a/src/util/cmdline.h
+++ b/src/util/cmdline.h
@@ -105,8 +105,8 @@ class cmdlinet
   {
     explicit option_namest(const cmdlinet &command_line);
     struct option_names_iteratort
-      : public std::iterator<std::forward_iterator_tag, std::string>
     {
+      using iterator_category = std::forward_iterator_tag;
       option_names_iteratort() = default;
       explicit option_names_iteratort(
         const cmdlinet *command_line,
diff --git a/src/util/dense_integer_map.h b/src/util/dense_integer_map.h
index 6d8830e9701..6e2c0bc02d4 100644
--- a/src/util/dense_integer_map.h
+++ b/src/util/dense_integer_map.h
@@ -116,8 +116,8 @@ class dense_integer_mapt
   // operator++ that skips unset values.
   template <class UnderlyingIterator, class UnderlyingValue>
   class iterator_templatet
-    : public std::iterator<std::forward_iterator_tag, UnderlyingValue>
   {
+    using iterator_category = std::forward_iterator_tag;
     // Type of the std::iterator support class we inherit
     typedef std::iterator<std::forward_iterator_tag, UnderlyingValue>
       base_typet;