summaryrefslogtreecommitdiffstats
path: root/src/bdd/cudd/cuddSplit.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/bdd/cudd/cuddSplit.c')
-rw-r--r--src/bdd/cudd/cuddSplit.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddSplit.c b/src/bdd/cudd/cuddSplit.c
index 4ac243b5..d650ecbc 100644
--- a/src/bdd/cudd/cuddSplit.c
+++ b/src/bdd/cudd/cuddSplit.c
@@ -59,7 +59,7 @@
******************************************************************************/
-#include "util_hack.h"
+#include "src/misc/util/util_hack.h"
#include "cuddInt.h"
ABC_NAMESPACE_IMPL_START