diff options
Diffstat (limited to 'src/bdd/cudd/cudd.h')
-rw-r--r-- | src/bdd/cudd/cudd.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/bdd/cudd/cudd.h b/src/bdd/cudd/cudd.h index 9231b5ab..fb1d6d58 100644 --- a/src/bdd/cudd/cudd.h +++ b/src/bdd/cudd/cudd.h @@ -54,16 +54,16 @@ ******************************************************************************/ -#ifndef _CUDD -#define _CUDD +#ifndef ABC__bdd__cudd__cudd_h +#define ABC__bdd__cudd__cudd_h /*---------------------------------------------------------------------------*/ /* Nested includes */ /*---------------------------------------------------------------------------*/ -#include "mtr.h" -#include "epd.h" +#include "src/bdd/mtr/mtr.h" +#include "src/bdd/epd/epd.h" ABC_NAMESPACE_HEADER_START |