1 files changed, 31 insertions, 31 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 03eb8d21..b3f4d559 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -18,37 +18,37 @@
 
 ***********************************************************************/
 
-#include "src/base/abc/abc.h"
-#include "src/base/main/main.h"
-#include "src/base/main/mainInt.h"
-#include "src/proof/fraig/fraig.h"
-#include "src/opt/fxu/fxu.h"
-#include "src/opt/cut/cut.h"
-#include "src/map/fpga/fpga.h"
-#include "src/map/if/if.h"
-#include "src/opt/sim/sim.h"
-#include "src/opt/res/res.h"
-#include "src/opt/lpk/lpk.h"
-#include "src/aig/gia/giaAig.h"
-#include "src/opt/dar/dar.h"
-#include "src/opt/mfs/mfs.h"
-#include "src/proof/fra/fra.h"
-#include "src/aig/saig/saig.h"
-#include "src/proof/int/int.h"
-#include "src/proof/dch/dch.h"
-#include "src/proof/ssw/ssw.h"
-#include "src/opt/cgt/cgt.h"
-#include "src/bool/kit/kit.h"
-#include "src/map/amap/amap.h"
-#include "src/opt/ret/retInt.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/proof/cec/cec.h"
-#include "src/proof/pdr/pdr.h"
-#include "src/misc/tim/tim.h"
-#include "src/proof/llb/llb.h"
-#include "src/proof/bbr/bbr.h"
-#include "src/map/cov/cov.h"
-#include "src/base/cmd/cmd.h"
+#include "base/abc/abc.h"
+#include "base/main/main.h"
+#include "base/main/mainInt.h"
+#include "proof/fraig/fraig.h"
+#include "opt/fxu/fxu.h"
+#include "opt/cut/cut.h"
+#include "map/fpga/fpga.h"
+#include "map/if/if.h"
+#include "opt/sim/sim.h"
+#include "opt/res/res.h"
+#include "opt/lpk/lpk.h"
+#include "aig/gia/giaAig.h"
+#include "opt/dar/dar.h"
+#include "opt/mfs/mfs.h"
+#include "proof/fra/fra.h"
+#include "aig/saig/saig.h"
+#include "proof/int/int.h"
+#include "proof/dch/dch.h"
+#include "proof/ssw/ssw.h"
+#include "opt/cgt/cgt.h"
+#include "bool/kit/kit.h"
+#include "map/amap/amap.h"
+#include "opt/ret/retInt.h"
+#include "sat/cnf/cnf.h"
+#include "proof/cec/cec.h"
+#include "proof/pdr/pdr.h"
+#include "misc/tim/tim.h"
+#include "proof/llb/llb.h"
+#include "proof/bbr/bbr.h"
+#include "map/cov/cov.h"
+#include "base/cmd/cmd.h"
 
 #ifdef _WIN32
 //#include <io.h>