diff options
Diffstat (limited to 'src/proof/llb')
-rw-r--r-- | src/proof/llb/llb1Core.c | 4 | ||||
-rw-r--r-- | src/proof/llb/llb4Cex.c | 4 | ||||
-rw-r--r-- | src/proof/llb/llb4Map.c | 4 | ||||
-rw-r--r-- | src/proof/llb/llbInt.h | 8 |
4 files changed, 10 insertions, 10 deletions
diff --git a/src/proof/llb/llb1Core.c b/src/proof/llb/llb1Core.c index b16fdee7..3aa7a6e5 100644 --- a/src/proof/llb/llb1Core.c +++ b/src/proof/llb/llb1Core.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "llbInt.h" -#include "src/aig/gia/gia.h" -#include "src/aig/gia/giaAig.h" +#include "aig/gia/gia.h" +#include "aig/gia/giaAig.h" ABC_NAMESPACE_IMPL_START diff --git a/src/proof/llb/llb4Cex.c b/src/proof/llb/llb4Cex.c index b5bdb36e..c676b76e 100644 --- a/src/proof/llb/llb4Cex.c +++ b/src/proof/llb/llb4Cex.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "llbInt.h" -#include "src/sat/cnf/cnf.h" -#include "src/sat/bsat/satSolver.h" +#include "sat/cnf/cnf.h" +#include "sat/bsat/satSolver.h" ABC_NAMESPACE_IMPL_START diff --git a/src/proof/llb/llb4Map.c b/src/proof/llb/llb4Map.c index b1442699..51f1fec6 100644 --- a/src/proof/llb/llb4Map.c +++ b/src/proof/llb/llb4Map.c @@ -19,8 +19,8 @@ ***********************************************************************/ #include "llbInt.h" -#include "src/base/abc/abc.h" -#include "src/map/if/if.h" +#include "base/abc/abc.h" +#include "map/if/if.h" ABC_NAMESPACE_IMPL_START diff --git a/src/proof/llb/llbInt.h b/src/proof/llb/llbInt.h index 58e2b543..208d291c 100644 --- a/src/proof/llb/llbInt.h +++ b/src/proof/llb/llbInt.h @@ -27,10 +27,10 @@ //////////////////////////////////////////////////////////////////////// #include <stdio.h> -#include "src/aig/aig/aig.h" -#include "src/aig/saig/saig.h" -#include "src/proof/ssw/ssw.h" -#include "src/misc/extra/extraBdd.h" +#include "aig/aig/aig.h" +#include "aig/saig/saig.h" +#include "proof/ssw/ssw.h" +#include "misc/extra/extraBdd.h" #include "llb.h" //////////////////////////////////////////////////////////////////////// |