From 6b1018314c130ffa12df2e8c73f1c0cd5853b6f7 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 24 Jul 2014 03:48:38 +0200
Subject: Added cover() API

---
 kernel/log.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/log.cc')

diff --git a/kernel/log.cc b/kernel/log.cc
index 949bf432..26414d49 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -29,6 +29,8 @@
 #include <vector>
 #include <list>
 
+CoverAgent *CoverAgent::first_cover_agent = NULL;
+
 std::vector<FILE*> log_files;
 FILE *log_errfile = NULL;
 bool log_time = false;
-- 
cgit v1.2.3