Additional optimization

2023-05-09 16:52:01 +02:00
parent 3bf9c1cc10
commit 421db7fee2
1 changed files with 0 additions and 1 deletions
@@ -10,7 +10,6 @@

 #include "format.h"

-#include <algorithm>
 #include <memory>
 #include <cctype>
 #include <cerrno>  // errno