From 2bba96164f6c5c8f56de7a5dc52af73bfd51cccd Mon Sep 17 00:00:00 2001
From: Andrei Pavel <andrei@isc.org>
Date: Thu, 29 Jul 2021 21:33:42 +0300
Subject: [PATCH] [#1980] add missing headers in timer_mgr.cc

---
 src/lib/dhcpsrv/timer_mgr.cc | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/src/lib/dhcpsrv/timer_mgr.cc b/src/lib/dhcpsrv/timer_mgr.cc
index f71b768ba0..0f3b68f1a9 100644
--- a/src/lib/dhcpsrv/timer_mgr.cc
+++ b/src/lib/dhcpsrv/timer_mgr.cc
@@ -1,11 +1,12 @@
-// Copyright (C) 2016-2020 Internet Systems Consortium, Inc. ("ISC")
+// Copyright (C) 2016-2021 Internet Systems Consortium, Inc. ("ISC")
 //
 // This Source Code Form is subject to the terms of the Mozilla Public
 // License, v. 2.0. If a copy of the MPL was not distributed with this
 // file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
 #include <config.h>
-#include <asiolink/asio_wrapper.h>
+
+#include <asiolink/interval_timer.h>
 #include <asiolink/io_service.h>
 #include <dhcpsrv/dhcpsrv_log.h>
 #include <dhcpsrv/timer_mgr.h>
@@ -14,9 +15,16 @@
 
 #include <boost/scoped_ptr.hpp>
 
+#include <exception>
 #include <functional>
+#include <map>
+#include <mutex>
+#include <ostream>
+#include <string>
 #include <utility>
 
+#include <stddef.h>
+
 using namespace isc;
 using namespace isc::asiolink;
 using namespace isc::util;