fixed included headerds

esbmc · Jul 1, 2024 · 9f8a5f7 · 9f8a5f7
1 parent 005dda7
commit 9f8a5f7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 8 deletions.
diff --git a/src/bounded-loop-unroller/frontend_action.cpp b/src/bounded-loop-unroller/frontend_action.cpp
@@ -3,6 +3,7 @@
 #include <bounded-loop-unroller/bounded-loop-unroller.h>
 
 #include <iostream>
+#include <format>
 namespace {
 
   template<typename InputIterator1, typename InputIterator2>

diff --git a/src/bounded-loop-unroller/main.cpp b/src/bounded-loop-unroller/main.cpp
@@ -1,14 +1,6 @@
-#include <__format/format_functions.h>
 #include <bounded-loop-unroller/bounded-loop-unroller.h>
-#include <cstdlib>
-#include <fstream>
 #include <iostream>
 
-#include <algorithm>
-#include <iterator>
-#include <string>
-
-
 int main(int argc, char **argv) {
   if (argc != 3) {
       std::cerr << "./loop-unroller <input.c> <output.c>\n";