5 files changed, 11 insertions, 11 deletions
diff --git a/src/bool/dec/decAbc.c b/src/bool/dec/decAbc.c
index 65f69f9b..7f060cb6 100644
--- a/src/bool/dec/decAbc.c
+++ b/src/bool/dec/decAbc.c
@@ -16,8 +16,8 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
-#include "src/aig/ivy/ivy.h"
+#include "base/abc/abc.h"
+#include "aig/ivy/ivy.h"
 #include "dec.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/bool/dec/decFactor.c b/src/bool/dec/decFactor.c
index faed9e74..febaa905 100644
--- a/src/bool/dec/decFactor.c
+++ b/src/bool/dec/decFactor.c
@@ -16,10 +16,10 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
-#include "src/base/main/main.h"
-#include "src/misc/mvc/mvc.h"
-#include "src/misc/extra/extraBdd.h"
+#include "base/abc/abc.h"
+#include "base/main/main.h"
+#include "misc/mvc/mvc.h"
+#include "misc/extra/extraBdd.h"
 #include "dec.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/bool/dec/decMan.c b/src/bool/dec/decMan.c
index 13bc34e0..7de31a7e 100644
--- a/src/bool/dec/decMan.c
+++ b/src/bool/dec/decMan.c
@@ -16,8 +16,8 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
-#include "src/misc/mvc/mvc.h"
+#include "base/abc/abc.h"
+#include "misc/mvc/mvc.h"
 #include "dec.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/bool/dec/decPrint.c b/src/bool/dec/decPrint.c
index 208c7e8e..d6ea7f3b 100644
--- a/src/bool/dec/decPrint.c
+++ b/src/bool/dec/decPrint.c
@@ -16,7 +16,7 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 #include "dec.h"
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/bool/dec/decUtil.c b/src/bool/dec/decUtil.c
index 0350b3e2..d64aa4fa 100644
--- a/src/bool/dec/decUtil.c
+++ b/src/bool/dec/decUtil.c
@@ -16,8 +16,8 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
-#include "src/misc/extra/extraBdd.h"
+#include "base/abc/abc.h"
+#include "misc/extra/extraBdd.h"
 #include "dec.h"
 
 ABC_NAMESPACE_IMPL_START