From 1c33107cbb50705272682c2637d8faaeab4be61a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 20:14:12 -0700
Subject: Updating project settings to have simpler include paths.

---
 src/base/abci/abc.c | 62 ++++++++++++++++++++++++++---------------------------
 1 file changed, 31 insertions(+), 31 deletions(-)

(limited to 'src/base/abci/abc.c')

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>
-- 
cgit v1.2.3