From 3d7b59cbc6ac4601af0c9d050e8ec8cfe088f0f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Uriel=20Garc=C3=ADa?= <fancygarz4@gmail.com>
Date: Wed, 13 Dec 2023 17:55:57 -0600
Subject: [PATCH] Remove unused libraries in explorer/main.cpp (#3488)

Remove unused libraries in explorer/main.cpp
---
 explorer/main.cpp | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/explorer/main.cpp b/explorer/main.cpp
index 3d70c6b8dea9..bca6b6132432 100644
--- a/explorer/main.cpp
+++ b/explorer/main.cpp
@@ -6,13 +6,7 @@
 
 #include <unistd.h>
 
-#include <chrono>
-#include <cstdio>
-#include <cstring>
-#include <iostream>
-#include <optional>
 #include <string>
-#include <vector>
 
 #include "common/error.h"
 #include "explorer/base/trace_stream.h"