Remove unused libraries in explorer/main.cpp (carbon-language#3488)

Remove unused libraries in explorer/main.cpp
SevaSk · Dec 13, 2023 · 3d7b59c · 3d7b59c
1 parent e343ea5
commit 3d7b59c
Showing 1 changed file with 0 additions and 6 deletions.
diff --git 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"