3 files changed, 7 insertions, 8 deletions
diff --git a/src/bdd/parse/parse.h b/src/bdd/parse/parse.h
index 5c97dd4e..584ec30a 100644
--- a/src/bdd/parse/parse.h
+++ b/src/bdd/parse/parse.h
@@ -16,8 +16,8 @@
 
 ***********************************************************************/
 
-#ifndef __PARSE_H__
-#define __PARSE_H__
+#ifndef ABC__bdd__parse__parse_h
+#define ABC__bdd__parse__parse_h
 
 
 ABC_NAMESPACE_HEADER_START
diff --git a/src/bdd/parse/parseEqn.c b/src/bdd/parse/parseEqn.c
index ed2599ca..a0b9ada8 100644
--- a/src/bdd/parse/parseEqn.c
+++ b/src/bdd/parse/parseEqn.c
@@ -22,8 +22,8 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include "parseInt.h"
-#include "vec.h"
-#include "hop.h"
+#include "src/misc/vec/vec.h"
+#include "src/aig/hop/hop.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/bdd/parse/parseInt.h b/src/bdd/parse/parseInt.h
index f0f3f302..78766612 100644
--- a/src/bdd/parse/parseInt.h
+++ b/src/bdd/parse/parseInt.h
@@ -16,8 +16,8 @@
 
 ***********************************************************************/
 
-#ifndef __PARSE_INT_H__
-#define __PARSE_INT_H__
+#ifndef ABC__bdd__parse__parseInt_h
+#define ABC__bdd__parse__parseInt_h
 
 
 ////////////////////////////////////////////////////////////////////////
@@ -26,8 +26,7 @@
 
 
 #include <stdio.h>
-#include "extra.h"
-#include "cuddInt.h"
+#include "src/misc/extra/extraBdd.h"
 #include "parse.h"
 
 ABC_NAMESPACE_HEADER_START