diff options
Diffstat (limited to 'src/aig/gia/giaAig.h')
| -rw-r--r-- | src/aig/gia/giaAig.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaAig.h b/src/aig/gia/giaAig.h index 1c0a24d5..6522a5bc 100644 --- a/src/aig/gia/giaAig.h +++ b/src/aig/gia/giaAig.h @@ -18,15 +18,15 @@ ***********************************************************************/ -#ifndef __GIA_AIG_H__ -#define __GIA_AIG_H__ +#ifndef ABC__aig__gia__giaAig_h +#define ABC__aig__gia__giaAig_h //////////////////////////////////////////////////////////////////////// /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "aig.h" +#include "src/aig/aig/aig.h" #include "gia.h" ABC_NAMESPACE_HEADER_START |