From 15c180b113b3c09b1052e62d68b65fdbb96ad530 Mon Sep 17 00:00:00 2001 From: Pranav Srinivas Kumar Date: Tue, 14 Feb 2023 08:09:46 -0800 Subject: [PATCH] Removed unused vector header --- include/indicators/display_width.hpp | 1 - single_include/indicators/indicators.hpp | 1 - 2 files changed, 2 deletions(-) diff --git a/include/indicators/display_width.hpp b/include/indicators/display_width.hpp index fb7f541..e2cf159 100644 --- a/include/indicators/display_width.hpp +++ b/include/indicators/display_width.hpp @@ -6,7 +6,6 @@ #include #include #include -#include #include namespace unicode { diff --git a/single_include/indicators/indicators.hpp b/single_include/indicators/indicators.hpp index d92ebc6..8a66af3 100644 --- a/single_include/indicators/indicators.hpp +++ b/single_include/indicators/indicators.hpp @@ -1346,7 +1346,6 @@ static inline void move_left(int cols) { std::cout << "\033[" << cols << "D"; } #include #include #include -#include #include namespace unicode {