/*
- * Copyright (C) 2013-2014 Andre Noll <maan@tuebingen.mpg.de>
+ * Copyright (C) 2013 Andre Noll <maan@tuebingen.mpg.de>
*
* Licensed under the GPL v2. For licencing details see COPYING.
*/
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
-#include <assert.h>
#include <inttypes.h>
#include <string.h>
#include <stdbool.h>
-#include <stdbool.h>
#include <errno.h>
#include <ctype.h>