* @date 11.9.2006
* @version $Id$
*/
-#ifdef HAVE_CONFIG_H
-# include "config.h"
-#endif
+#include "config.h"
#include <stdio.h>
#include <stdlib.h>
#include "pdeq.h"
#include "irtools.h"
#include "obst.h"
-#include "array.h"
+#include "array_t.h"
#include "be_dbgout_t.h"
#include "beabi.h"
#include "bemodule.h"
/* Opens a stabs handler */
dbg_handle *be_stabs_open(void) {
- stabs_handle *h = xmalloc(sizeof(*h));
+ stabs_handle *h = XMALLOC(stabs_handle);
h->base.ops = &stabs_ops;
h->cur_ent = NULL;