summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcReconv.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/abci/abcReconv.c')
-rw-r--r--src/base/abci/abcReconv.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcReconv.c b/src/base/abci/abcReconv.c
index f13930bb..483234dd 100644
--- a/src/base/abci/abcReconv.c
+++ b/src/base/abci/abcReconv.c
@@ -21,7 +21,7 @@
#include "base/abc/abc.h"
#ifdef ABC_USE_CUDD
-#include "misc/extra/extraBdd.h"
+#include "bdd/extrab/extraBdd.h"
#endif
ABC_NAMESPACE_IMPL_START