diff options
Diffstat (limited to 'kernel/log.cc')
| -rw-r--r-- | kernel/log.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 26414d49..949bf432 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -29,8 +29,6 @@ #include <vector> #include <list> -CoverAgent *CoverAgent::first_cover_agent = NULL; - std::vector<FILE*> log_files; FILE *log_errfile = NULL; bool log_time = false; |