From b2c60e7f07acc70adaeef02037645ce6a45ed123 Mon Sep 17 00:00:00 2001
From: Neil <nyamatongwe@gmail.com>
Date: Mon, 16 Mar 2020 10:55:22 +1100
Subject: List headers in HeaderOrder.txt that are not used. Remove unused
 headers from HeaderOrder.txt.

---
 scripts/HeaderOrder.txt | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'scripts/HeaderOrder.txt')

diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt
index 03eb3d539..53a1d7778 100644
--- a/scripts/HeaderOrder.txt
+++ b/scripts/HeaderOrder.txt
@@ -9,11 +9,8 @@
 #include <string.h>
 #include <stdio.h>
 #include <stdarg.h>
-#include <time.h>
-#include <math.h>
 #include <assert.h>
 #include <ctype.h>
-#include <limits.h>
 
 // C++ wrappers of C standard library
 #include <cstddef>
@@ -32,11 +29,9 @@
 #include <stdexcept>
 #include <new>
 #include <utility>
-#include <tuple>
 #include <string>
 #include <string_view>
 #include <vector>
-#include <deque>
 #include <map>
 #include <set>
 #include <forward_list>
-- 
cgit v1.2.3