* Build correctly against newer ATerm releases. Fixes "error: 'union'

tag used in naming 'struct _ATerm'".
This commit is contained in:
Eelco Dolstra 2009-12-16 15:29:50 +00:00
parent d8a5dc02fc
commit 945d8218fb
2 changed files with 2 additions and 3 deletions

View file

@ -1,7 +1,7 @@
#ifndef __DERIVATIONS_H #ifndef __DERIVATIONS_H
#define __DERIVATIONS_H #define __DERIVATIONS_H
typedef struct _ATerm * ATerm; #include <aterm1.h>
#include "hash.hh" #include "hash.hh"

View file

@ -1,8 +1,7 @@
#ifndef __ATERM_MAP_H #ifndef __ATERM_MAP_H
#define __ATERM_MAP_H #define __ATERM_MAP_H
typedef struct _ATerm * ATerm; #include <aterm1.h>
#include <assert.h> #include <assert.h>