5 files changed, 9 insertions, 9 deletions
diff --git a/src/proof/int/intContain.c b/src/proof/int/intContain.c
index a031c7a4..8ed6624d 100644
--- a/src/proof/int/intContain.c
+++ b/src/proof/int/intContain.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/proof/fra/fra.h"
+#include "proof/fra/fra.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -245,7 +245,7 @@ int Inter_ManCheckInductiveContainment( Aig_Man_t * pTrans, Aig_Man_t * pInter,
 }
 ABC_NAMESPACE_IMPL_END
 
-#include "src/proof/fra/fra.h"
+#include "proof/fra/fra.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/int/intCtrex.c b/src/proof/int/intCtrex.c
index 840ae75d..9b2946e9 100644
--- a/src/proof/int/intCtrex.c
+++ b/src/proof/int/intCtrex.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/proof/ssw/ssw.h"
+#include "proof/ssw/ssw.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/int/intInt.h b/src/proof/int/intInt.h
index ec2a0356..b7f7a2a7 100644
--- a/src/proof/int/intInt.h
+++ b/src/proof/int/intInt.h
@@ -26,10 +26,10 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/aig/saig/saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/sat/bsat/satStore.h"
+#include "aig/saig/saig.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "sat/bsat/satStore.h"
 #include "int.h"
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/proof/int/intM114p.c b/src/proof/int/intM114p.c
index ad1ff61d..4f27ee82 100644
--- a/src/proof/int/intM114p.c
+++ b/src/proof/int/intM114p.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/sat/psat/m114p.h"
+#include "sat/psat/m114p.h"
 
 #ifdef ABC_USE_LIBRARIES
 
diff --git a/src/proof/int/intMan.c b/src/proof/int/intMan.c
index 6fd81d7a..e419da86 100644
--- a/src/proof/int/intMan.c
+++ b/src/proof/int/intMan.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/aig/ioa/ioa.h"
+#include "aig/ioa/ioa.h"
 
 ABC_NAMESPACE_IMPL_START