root/debug/debug.h

INCLUDED FROM

#ifndef PRIVATE_DBG_H_INCLUDED
#define PRIVATE_DBG_H_INCLUDED
#include <stdio.h>
#include "DBG.h"

struct DBG_Controller_tag {
    FILE        *debug_write_fp;
    int         current_debug_level;
};

#endif /* PRIVATE_DBG_H_INCLUDED */