diff options
Diffstat (limited to 'src/bdd/cudd/cudd.h')
-rw-r--r-- | src/bdd/cudd/cudd.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/cudd/cudd.h b/src/bdd/cudd/cudd.h index fb1d6d58..07762456 100644 --- a/src/bdd/cudd/cudd.h +++ b/src/bdd/cudd/cudd.h @@ -62,8 +62,8 @@ /* Nested includes */ /*---------------------------------------------------------------------------*/ -#include "src/bdd/mtr/mtr.h" -#include "src/bdd/epd/epd.h" +#include "bdd/mtr/mtr.h" +#include "bdd/epd/epd.h" ABC_NAMESPACE_HEADER_START |