8 files changed, 22 insertions, 22 deletions
diff --git a/src/proof/fra/fra.h b/src/proof/fra/fra.h
index c1dd6b44..922a3c47 100644
--- a/src/proof/fra/fra.h
+++ b/src/proof/fra/fra.h
@@ -31,11 +31,11 @@
 #include <string.h>
 #include <assert.h>
 
-#include "src/misc/vec/vec.h"
-#include "src/aig/aig/aig.h"
-#include "src/opt/dar/dar.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/aig/ioa/ioa.h"
+#include "misc/vec/vec.h"
+#include "aig/aig/aig.h"
+#include "opt/dar/dar.h"
+#include "sat/bsat/satSolver.h"
+#include "aig/ioa/ioa.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///
diff --git a/src/proof/fra/fraCec.c b/src/proof/fra/fraCec.c
index 20805ec2..f1f15155 100644
--- a/src/proof/fra/fraCec.c
+++ b/src/proof/fra/fraCec.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver2.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver2.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraClau.c b/src/proof/fra/fraClau.c
index 6c692afa..a2db1e65 100644
--- a/src/proof/fra/fraClau.c
+++ b/src/proof/fra/fraClau.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraClaus.c b/src/proof/fra/fraClaus.c
index 97ac3e40..95ab0c99 100644
--- a/src/proof/fra/fraClaus.c
+++ b/src/proof/fra/fraClaus.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraInd.c b/src/proof/fra/fraInd.c
index 0c7134aa..e0a54a4e 100644
--- a/src/proof/fra/fraInd.c
+++ b/src/proof/fra/fraInd.c
@@ -19,9 +19,9 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/opt/dar/dar.h"
-#include "src/aig/saig/saig.h"
+#include "sat/cnf/cnf.h"
+#include "opt/dar/dar.h"
+#include "aig/saig/saig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraIndVer.c b/src/proof/fra/fraIndVer.c
index 099256ac..26b64647 100644
--- a/src/proof/fra/fraIndVer.c
+++ b/src/proof/fra/fraIndVer.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
+#include "sat/cnf/cnf.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraSec.c b/src/proof/fra/fraSec.c
index ac6cd67e..c43fc4dd 100644
--- a/src/proof/fra/fraSec.c
+++ b/src/proof/fra/fraSec.c
@@ -19,12 +19,12 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/aig/ioa/ioa.h"
-#include "src/proof/int/int.h"
-#include "src/proof/ssw/ssw.h"
-#include "src/aig/saig/saig.h"
-#include "src/proof/bbr/bbr.h"
-#include "src/proof/pdr/pdr.h"
+#include "aig/ioa/ioa.h"
+#include "proof/int/int.h"
+#include "proof/ssw/ssw.h"
+#include "aig/saig/saig.h"
+#include "proof/bbr/bbr.h"
+#include "proof/pdr/pdr.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c
index 555789e2..76e0a132 100644
--- a/src/proof/fra/fraSim.c
+++ b/src/proof/fra/fraSim.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/aig/saig/saig.h"
+#include "aig/saig/saig.h"
 
 ABC_NAMESPACE_IMPL_START