diff options
Diffstat (limited to 'src/opt/nwk')
-rw-r--r-- | src/opt/nwk/nwk.h | 16 | ||||
-rw-r--r-- | src/opt/nwk/nwkAig.c | 2 | ||||
-rw-r--r-- | src/opt/nwk/nwkMap.c | 2 | ||||
-rw-r--r-- | src/opt/nwk/nwkUtil.c | 2 |
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 |