diff options
Diffstat (limited to 'src/opt')
51 files changed, 88 insertions, 88 deletions
diff --git a/src/opt/cgt/cgtCore.c b/src/opt/cgt/cgtCore.c index 82f4e105..a24b180b 100644 --- a/src/opt/cgt/cgtCore.c +++ b/src/opt/cgt/cgtCore.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "cgtInt.h" -#include "src/misc/bar/bar.h" +#include "misc/bar/bar.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/cgt/cgtDecide.c b/src/opt/cgt/cgtDecide.c index 4e4a57b1..63730f55 100644 --- a/src/opt/cgt/cgtDecide.c +++ b/src/opt/cgt/cgtDecide.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "cgtInt.h" -#include "src/proof/ssw/sswInt.h" +#include "proof/ssw/sswInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/cgt/cgtInt.h b/src/opt/cgt/cgtInt.h index 78c27224..b73d60dd 100644 --- a/src/opt/cgt/cgtInt.h +++ b/src/opt/cgt/cgtInt.h @@ -26,9 +26,9 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/aig/saig/saig.h" -#include "src/sat/bsat/satSolver.h" -#include "src/sat/cnf/cnf.h" +#include "aig/saig/saig.h" +#include "sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" #include "cgt.h" //////////////////////////////////////////////////////////////////////// diff --git a/src/opt/csw/cswInt.h b/src/opt/csw/cswInt.h index 65228fcd..4f8dac39 100644 --- a/src/opt/csw/cswInt.h +++ b/src/opt/csw/cswInt.h @@ -31,9 +31,9 @@ #include <string.h> #include <assert.h> -#include "src/aig/aig/aig.h" -#include "src/opt/dar/dar.h" -#include "src/bool/kit/kit.h" +#include "aig/aig/aig.h" +#include "opt/dar/dar.h" +#include "bool/kit/kit.h" #include "csw.h" //////////////////////////////////////////////////////////////////////// diff --git a/src/opt/cut/cutInt.h b/src/opt/cut/cutInt.h index a66a5786..754779a3 100644 --- a/src/opt/cut/cutInt.h +++ b/src/opt/cut/cutInt.h @@ -27,8 +27,8 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "src/misc/extra/extra.h" -#include "src/misc/vec/vec.h" +#include "misc/extra/extra.h" +#include "misc/vec/vec.h" #include "cut.h" #include "cutList.h" diff --git a/src/opt/dar/darBalance.c b/src/opt/dar/darBalance.c index 34559bec..75f0eaf4 100644 --- a/src/opt/dar/darBalance.c +++ b/src/opt/dar/darBalance.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "darInt.h" -#include "src/misc/tim/tim.h" +#include "misc/tim/tim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darData.c b/src/opt/dar/darData.c index 8257f4bb..eaebb40d 100644 --- a/src/opt/dar/darData.c +++ b/src/opt/dar/darData.c @@ -11145,7 +11145,7 @@ Vec_Int_t * Dar_LibReadPrios() #if 0 -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darInt.h b/src/opt/dar/darInt.h index 6bf347e1..08a905a8 100644 --- a/src/opt/dar/darInt.h +++ b/src/opt/dar/darInt.h @@ -31,8 +31,8 @@ #include <string.h> #include <assert.h> -#include "src/misc/vec/vec.h" -#include "src/aig/aig/aig.h" +#include "misc/vec/vec.h" +#include "aig/aig/aig.h" #include "dar.h" //////////////////////////////////////////////////////////////////////// diff --git a/src/opt/dar/darLib.c b/src/opt/dar/darLib.c index acf49b02..27408328 100644 --- a/src/opt/dar/darLib.c +++ b/src/opt/dar/darLib.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "darInt.h" -#include "src/aig/gia/gia.h" +#include "aig/gia/gia.h" #include "dar.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darMan.c b/src/opt/dar/darMan.c index 5a3e0687..dc81e759 100644 --- a/src/opt/dar/darMan.c +++ b/src/opt/dar/darMan.c @@ -144,7 +144,7 @@ void Dar_ManPrintStats( Dar_Man_t * p ) ABC_NAMESPACE_IMPL_END -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darRefact.c b/src/opt/dar/darRefact.c index dcfbeac7..0dcb54e8 100644 --- a/src/opt/dar/darRefact.c +++ b/src/opt/dar/darRefact.c @@ -19,10 +19,10 @@ ***********************************************************************/ #include "darInt.h" -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" -#include "src/bool/bdc/bdc.h" -#include "src/bool/bdc/bdcInt.h" +#include "bool/bdc/bdc.h" +#include "bool/bdc/bdcInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/dar/darScript.c b/src/opt/dar/darScript.c index b59626af..b3830cc3 100644 --- a/src/opt/dar/darScript.c +++ b/src/opt/dar/darScript.c @@ -19,9 +19,9 @@ ***********************************************************************/ #include "darInt.h" -#include "src/proof/dch/dch.h" -#include "src/aig/gia/gia.h" -#include "src/aig/gia/giaAig.h" +#include "proof/dch/dch.h" +#include "aig/gia/gia.h" +#include "aig/gia/giaAig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/fxu/fxu.h b/src/opt/fxu/fxu.h index 28856c28..822536a2 100644 --- a/src/opt/fxu/fxu.h +++ b/src/opt/fxu/fxu.h @@ -24,7 +24,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/misc/vec/vec.h" +#include "misc/vec/vec.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// diff --git a/src/opt/fxu/fxuInt.h b/src/opt/fxu/fxuInt.h index 1ca081c9..b68f9ea6 100644 --- a/src/opt/fxu/fxuInt.h +++ b/src/opt/fxu/fxuInt.h @@ -24,7 +24,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_HEADER_START diff --git a/src/opt/fxu/fxuReduce.c b/src/opt/fxu/fxuReduce.c index f9d88f7a..b8640158 100644 --- a/src/opt/fxu/fxuReduce.c +++ b/src/opt/fxu/fxuReduce.c @@ -16,7 +16,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "fxuInt.h" #include "fxu.h" diff --git a/src/opt/fxu/fxuSingle.c b/src/opt/fxu/fxuSingle.c index e4fd0c5c..615a3639 100644 --- a/src/opt/fxu/fxuSingle.c +++ b/src/opt/fxu/fxuSingle.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "fxuInt.h" -#include "src/misc/vec/vec.h" +#include "misc/vec/vec.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index 6ab13bda..f7f3d5c5 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "lpkInt.h" -#include "src/bool/kit/cloud.h" -#include "src/base/main/main.h" +#include "bool/kit/cloud.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/lpk/lpkCut.c b/src/opt/lpk/lpkCut.c index c4be0c35..73711f2b 100644 --- a/src/opt/lpk/lpkCut.c +++ b/src/opt/lpk/lpkCut.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "lpkInt.h" -#include "src/bool/kit/cloud.h" +#include "bool/kit/cloud.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/lpk/lpkInt.h b/src/opt/lpk/lpkInt.h index 2ff47dc4..053cfe96 100644 --- a/src/opt/lpk/lpkInt.h +++ b/src/opt/lpk/lpkInt.h @@ -26,9 +26,9 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/base/abc/abc.h" -#include "src/bool/kit/kit.h" -#include "src/map/if/if.h" +#include "base/abc/abc.h" +#include "bool/kit/kit.h" +#include "map/if/if.h" #include "lpk.h" //////////////////////////////////////////////////////////////////////// diff --git a/src/opt/mfs/mfsInt.h b/src/opt/mfs/mfsInt.h index 8b28fe61..44346997 100644 --- a/src/opt/mfs/mfsInt.h +++ b/src/opt/mfs/mfsInt.h @@ -26,14 +26,14 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "mfs.h" -#include "src/aig/aig/aig.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" -#include "src/sat/bsat/satStore.h" -#include "src/bool/bdc/bdc.h" -#include "src/aig/gia/gia.h" +#include "aig/aig/aig.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" +#include "sat/bsat/satStore.h" +#include "bool/bdc/bdc.h" +#include "aig/gia/gia.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// diff --git a/src/opt/mfs/mfsInter.c b/src/opt/mfs/mfsInter.c index 08713c75..812e22cf 100644 --- a/src/opt/mfs/mfsInter.c +++ b/src/opt/mfs/mfsInter.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "mfsInt.h" -#include "src/bool/kit/kit.h" +#include "bool/kit/kit.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/mfs/mfsStrash.c b/src/opt/mfs/mfsStrash.c index 5681564e..6f8891b3 100644 --- a/src/opt/mfs/mfsStrash.c +++ b/src/opt/mfs/mfsStrash.c @@ -367,7 +367,7 @@ Aig_Man_t * Abc_NtkAigForConstraints( Mfs_Man_t * p, Abc_Obj_t * pNode ) ABC_NAMESPACE_IMPL_END -#include "src/proof/fra/fra.h" +#include "proof/fra/fra.h" ABC_NAMESPACE_IMPL_START 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 diff --git a/src/opt/res/resCore.c b/src/opt/res/resCore.c index 7d681299..d7edf189 100644 --- a/src/opt/res/resCore.c +++ b/src/opt/res/resCore.c @@ -18,10 +18,10 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "resInt.h" -#include "src/bool/kit/kit.h" -#include "src/sat/bsat/satStore.h" +#include "bool/kit/kit.h" +#include "sat/bsat/satStore.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/res/resDivs.c b/src/opt/res/resDivs.c index f378991d..c3bf0554 100644 --- a/src/opt/res/resDivs.c +++ b/src/opt/res/resDivs.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "resInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/res/resFilter.c b/src/opt/res/resFilter.c index 188b9dc3..c810284e 100644 --- a/src/opt/res/resFilter.c +++ b/src/opt/res/resFilter.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "resInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/res/resSat.c b/src/opt/res/resSat.c index eec4012a..6e209ad9 100644 --- a/src/opt/res/resSat.c +++ b/src/opt/res/resSat.c @@ -18,10 +18,10 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "resInt.h" -#include "src/aig/hop/hop.h" -#include "src/sat/bsat/satSolver.h" +#include "aig/hop/hop.h" +#include "sat/bsat/satSolver.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/res/resSim.c b/src/opt/res/resSim.c index d8faf8bf..d4088e7b 100644 --- a/src/opt/res/resSim.c +++ b/src/opt/res/resSim.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "resInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/res/resStrash.c b/src/opt/res/resStrash.c index c080a718..93466b2e 100644 --- a/src/opt/res/resStrash.c +++ b/src/opt/res/resStrash.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "resInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/res/resWin.c b/src/opt/res/resWin.c index 09176833..b6b892a9 100644 --- a/src/opt/res/resWin.c +++ b/src/opt/res/resWin.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "resInt.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/ret/retInt.h b/src/opt/ret/retInt.h index 9460f6e8..9b0e4973 100644 --- a/src/opt/ret/retInt.h +++ b/src/opt/ret/retInt.h @@ -26,7 +26,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" ABC_NAMESPACE_HEADER_START diff --git a/src/opt/rwr/rwr.h b/src/opt/rwr/rwr.h index d6c57329..74af4caa 100644 --- a/src/opt/rwr/rwr.h +++ b/src/opt/rwr/rwr.h @@ -26,8 +26,8 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/base/abc/abc.h" -#include "src/opt/cut/cut.h" +#include "base/abc/abc.h" +#include "opt/cut/cut.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// diff --git a/src/opt/rwr/rwrDec.c b/src/opt/rwr/rwrDec.c index c1860a7b..43a2c0c6 100644 --- a/src/opt/rwr/rwrDec.c +++ b/src/opt/rwr/rwrDec.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "rwr.h" -#include "src/bool/dec/dec.h" +#include "bool/dec/dec.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/rwr/rwrEva.c b/src/opt/rwr/rwrEva.c index d3d5143c..de29e153 100644 --- a/src/opt/rwr/rwrEva.c +++ b/src/opt/rwr/rwrEva.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "rwr.h" -#include "src/bool/dec/dec.h" -#include "src/aig/ivy/ivy.h" +#include "bool/dec/dec.h" +#include "aig/ivy/ivy.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/rwr/rwrMan.c b/src/opt/rwr/rwrMan.c index 78ee2067..0f0631bc 100644 --- a/src/opt/rwr/rwrMan.c +++ b/src/opt/rwr/rwrMan.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "rwr.h" -#include "src/base/main/main.h" -#include "src/bool/dec/dec.h" +#include "base/main/main.h" +#include "bool/dec/dec.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/rwt/rwt.h b/src/opt/rwt/rwt.h index 2e6de2cd..ff00cf52 100644 --- a/src/opt/rwt/rwt.h +++ b/src/opt/rwt/rwt.h @@ -31,9 +31,9 @@ #include <string.h> #include <assert.h> -#include "src/misc/vec/vec.h" -#include "src/misc/extra/extra.h" -#include "src/misc/mem/mem.h" +#include "misc/vec/vec.h" +#include "misc/extra/extra.h" +#include "misc/mem/mem.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// diff --git a/src/opt/rwt/rwtDec.c b/src/opt/rwt/rwtDec.c index 82283a91..bc5bcad2 100644 --- a/src/opt/rwt/rwtDec.c +++ b/src/opt/rwt/rwtDec.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "rwt.h" -#include "src/bool/deco/deco.h" +#include "bool/deco/deco.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/rwt/rwtMan.c b/src/opt/rwt/rwtMan.c index 17799407..18998ac8 100644 --- a/src/opt/rwt/rwtMan.c +++ b/src/opt/rwt/rwtMan.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "rwt.h" -#include "src/bool/deco/deco.h" +#include "bool/deco/deco.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simMan.c b/src/opt/sim/simMan.c index 9856f484..ecee0424 100644 --- a/src/opt/sim/simMan.c +++ b/src/opt/sim/simMan.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSat.c b/src/opt/sim/simSat.c index 5c97055b..54eecf9d 100644 --- a/src/opt/sim/simSat.c +++ b/src/opt/sim/simSat.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSeq.c b/src/opt/sim/simSeq.c index 0efe7378..31cac237 100644 --- a/src/opt/sim/simSeq.c +++ b/src/opt/sim/simSeq.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSupp.c b/src/opt/sim/simSupp.c index b383376e..1cf13fa8 100644 --- a/src/opt/sim/simSupp.c +++ b/src/opt/sim/simSupp.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/proof/fraig/fraig.h" +#include "base/abc/abc.h" +#include "proof/fraig/fraig.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSwitch.c b/src/opt/sim/simSwitch.c index 26f8cd51..b462437b 100644 --- a/src/opt/sim/simSwitch.c +++ b/src/opt/sim/simSwitch.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSym.c b/src/opt/sim/simSym.c index 0367c2af..8f99dc54 100644 --- a/src/opt/sim/simSym.c +++ b/src/opt/sim/simSym.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSymSat.c b/src/opt/sim/simSymSat.c index e252e0f4..14ec6806 100644 --- a/src/opt/sim/simSymSat.c +++ b/src/opt/sim/simSymSat.c @@ -18,8 +18,8 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" -#include "src/proof/fraig/fraig.h" +#include "base/abc/abc.h" +#include "proof/fraig/fraig.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSymSim.c b/src/opt/sim/simSymSim.c index 2c2a8a9e..811397a5 100644 --- a/src/opt/sim/simSymSim.c +++ b/src/opt/sim/simSymSim.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simSymStr.c b/src/opt/sim/simSymStr.c index b9d58b9f..af51cee7 100644 --- a/src/opt/sim/simSymStr.c +++ b/src/opt/sim/simSymStr.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START diff --git a/src/opt/sim/simUtils.c b/src/opt/sim/simUtils.c index 586fab42..975c57a6 100644 --- a/src/opt/sim/simUtils.c +++ b/src/opt/sim/simUtils.c @@ -18,7 +18,7 @@ ***********************************************************************/ -#include "src/base/abc/abc.h" +#include "base/abc/abc.h" #include "sim.h" ABC_NAMESPACE_IMPL_START |