diff options
-rw-r--r-- | cpp/003trace | 4 | ||||
-rw-r--r-- | cpp/tangle/boot.cc | 5 |
2 files changed, 0 insertions, 9 deletions
diff --git a/cpp/003trace b/cpp/003trace index f2070bae..4f5f6254 100644 --- a/cpp/003trace +++ b/cpp/003trace @@ -450,8 +450,6 @@ bool headmatch(const string& s, const string& pat) { } :(before "End Includes") -#include<cstdlib> - #include<vector> using std::vector; #include<list> @@ -467,13 +465,11 @@ using std::set; #include<iostream> using std::istream; using std::ostream; -using std::iostream; using std::cin; using std::cout; using std::cerr; #include<sstream> -using std::stringstream; using std::istringstream; using std::ostringstream; diff --git a/cpp/tangle/boot.cc b/cpp/tangle/boot.cc index fd9ea70d..86385965 100644 --- a/cpp/tangle/boot.cc +++ b/cpp/tangle/boot.cc @@ -4,10 +4,6 @@ #include<cstdio> #include<cstring> #include<cstdlib> -#include<errno.h> -#include<sys/param.h> -#include<time.h> -#include<math.h> #include<vector> using std::vector; @@ -34,7 +30,6 @@ using std::cout; using std::cerr; #include<sstream> -using std::stringstream; using std::istringstream; using std::ostringstream; |