summaryrefslogtreecommitdiffstats
path: root/src/opt/nwk
diff options
context:
space:
mode:
Diffstat (limited to 'src/opt/nwk')
-rw-r--r--src/opt/nwk/nwk.h16
-rw-r--r--src/opt/nwk/nwkAig.c2
-rw-r--r--src/opt/nwk/nwkMap.c2
-rw-r--r--src/opt/nwk/nwkUtil.c2
4 files changed, 11 insertions, 11 deletions
diff --git a/src/opt/nwk/nwk.h b/src/opt/nwk/nwk.h
index 79c7bb1a..e7e43b91 100644
--- a/src/opt/nwk/nwk.h
+++ b/src/opt/nwk/nwk.h
@@ -26,14 +26,14 @@
/// INCLUDES ///
////////////////////////////////////////////////////////////////////////
-#include "src/aig/aig/aig.h"
-#include "src/aig/hop/hop.h"
-#include "src/misc/tim/tim.h"
-#include "src/map/if/if.h"
-#include "src/bool/bdc/bdc.h"
-
-#include "src/proof/fra/fra.h"
-#include "src/proof/ssw/ssw.h"
+#include "aig/aig/aig.h"
+#include "aig/hop/hop.h"
+#include "misc/tim/tim.h"
+#include "map/if/if.h"
+#include "bool/bdc/bdc.h"
+
+#include "proof/fra/fra.h"
+#include "proof/ssw/ssw.h"
#include "ntlnwk.h"
////////////////////////////////////////////////////////////////////////
diff --git a/src/opt/nwk/nwkAig.c b/src/opt/nwk/nwkAig.c
index ec5b43b1..55cff367 100644
--- a/src/opt/nwk/nwkAig.c
+++ b/src/opt/nwk/nwkAig.c
@@ -105,7 +105,7 @@ Vec_Ptr_t * Nwk_ManDeriveRetimingCut( Aig_Man_t * p, int fForward, int fVerbose
-#include "src/aig/gia/gia.h"
+#include "aig/gia/gia.h"
/**Function*************************************************************
diff --git a/src/opt/nwk/nwkMap.c b/src/opt/nwk/nwkMap.c
index 3de55c43..e80c4c93 100644
--- a/src/opt/nwk/nwkMap.c
+++ b/src/opt/nwk/nwkMap.c
@@ -19,7 +19,7 @@
***********************************************************************/
#include "nwk.h"
-#include "src/map/if/if.h"
+#include "map/if/if.h"
ABC_NAMESPACE_IMPL_START
diff --git a/src/opt/nwk/nwkUtil.c b/src/opt/nwk/nwkUtil.c
index cf3e5bf3..2771e723 100644
--- a/src/opt/nwk/nwkUtil.c
+++ b/src/opt/nwk/nwkUtil.c
@@ -20,7 +20,7 @@
#include <math.h>
#include "nwk.h"
-#include "src/bool/kit/kit.h"
+#include "bool/kit/kit.h"
ABC_NAMESPACE_IMPL_START