diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 20:14:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 20:14:12 -0700 |
| commit | 1c33107cbb50705272682c2637d8faaeab4be61a (patch) | |
| tree | 188bb58cb82f744407af2ee78b38a7aa37fd9336 /src/opt/sim | |
| parent | b0ef0aaf0055d35f3836be18997dfd350e36054d (diff) | |
| download | abc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.gz abc-1c33107cbb50705272682c2637d8faaeab4be61a.tar.bz2 abc-1c33107cbb50705272682c2637d8faaeab4be61a.zip | |
Updating project settings to have simpler include paths.
Diffstat (limited to 'src/opt/sim')
| -rw-r--r-- | src/opt/sim/simMan.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSat.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSeq.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSupp.c | 4 | ||||
| -rw-r--r-- | src/opt/sim/simSwitch.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSym.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSymSat.c | 4 | ||||
| -rw-r--r-- | src/opt/sim/simSymSim.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSymStr.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simUtils.c | 2 |
10 files changed, 12 insertions, 12 deletions
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 |