aboutsummaryrefslogtreecommitdiff
path: root/kernel/l0
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-11-30 20:05:47 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-11-30 20:05:47 +0100
commita375561ca15a99dd7024e5b8170a3c8fcf25b892 (patch)
tree06ec9ff45e49400d67f73ce20b3236d8551916a5 /kernel/l0
parent54e7efbbd0e0c88d99bb6bddb82e9fc8d90eae50 (diff)
downloadmacroscope-a375561ca15a99dd7024e5b8170a3c8fcf25b892.tar.gz
macroscope-a375561ca15a99dd7024e5b8170a3c8fcf25b892.zip
More library functions & renaming.
Diffstat (limited to 'kernel/l0')
-rw-r--r--kernel/l0/dbglog.c2
1 files changed, 1 insertions, 1 deletions
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>