1 files changed, 0 insertions, 12 deletions
diff --git a/tangle/boot.cc b/tangle/boot.cc
index 86385965..33379f24 100644
--- a/tangle/boot.cc
+++ b/tangle/boot.cc
@@ -1,21 +1,11 @@
-#define unused __attribute__((unused))
-
 #include<assert.h>
-#include<cstdio>
-#include<cstring>
-#include<cstdlib>
 
 #include<vector>
 using std::vector;
 #include<list>
 using std::list;
-#include<stack>
-using std::stack;
 #include<utility>
 using std::pair;
-#include<map>
-using std::map;
-#include<algorithm>
 
 #include<string>
 using std::string;
@@ -24,7 +14,6 @@ const size_t NOT_FOUND = string::npos;
 #include<iostream>
 using std::istream;
 using std::ostream;
-using std::iostream;
 using std::cin;
 using std::cout;
 using std::cerr;
@@ -35,7 +24,6 @@ using std::ostringstream;
 
 #include<fstream>
 using std::ifstream;
-using std::ofstream;
 
 #include <locale>
 using std::isspace;  // unicode-aware