/*
- * Copyright (C) 2006-2014 Andre Noll <maan@systemlinux.org>
+ * Copyright (C) 2006 Andre Noll <maan@tuebingen.mpg.de>
*
* Licensed under the GPL v2. For licencing details see COPYING.
*/
/** \file stdout.c Functions that deal with writing to stdout. */
-#include <assert.h>
-
#include "para.h"
#include "list.h"
#include "sched.h"