From a375561ca15a99dd7024e5b8170a3c8fcf25b892 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ens.fr>
Date: Sun, 30 Nov 2014 20:05:47 +0100
Subject: More library functions & renaming.

---
 kernel/l0/dbglog.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/l0')

diff --git a/kernel/l0/dbglog.c b/kernel/l0/dbglog.c
index 0285002..47098a0 100644
--- a/kernel/l0/dbglog.c
+++ b/kernel/l0/dbglog.c
@@ -1,5 +1,5 @@
 #include <stdarg.h>
-#include <stdlib.h>
+#include <string.h>
 #include <printf.h>
 #include <dbglog.h>
 #include <config.h>
-- 
cgit v1.2.3