diff options
Diffstat (limited to 'src/map/fpga')
| -rw-r--r-- | src/map/fpga/fpga.c | 2 | ||||
| -rw-r--r-- | src/map/fpga/fpgaCreate.c | 2 | ||||
| -rw-r--r-- | src/map/fpga/fpgaInt.h | 2 | ||||
| -rw-r--r-- | src/map/fpga/fpgaTruth.c | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/src/map/fpga/fpga.c b/src/map/fpga/fpga.c index 94a84ffd..cf88e90b 100644 --- a/src/map/fpga/fpga.c +++ b/src/map/fpga/fpga.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "fpgaInt.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/fpga/fpgaCreate.c b/src/map/fpga/fpgaCreate.c index e3079ad7..7fa5158e 100644 --- a/src/map/fpga/fpgaCreate.c +++ b/src/map/fpga/fpgaCreate.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "fpgaInt.h" -#include "src/base/main/main.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START diff --git a/src/map/fpga/fpgaInt.h b/src/map/fpga/fpgaInt.h index f2c482af..0d18b7f4 100644 --- a/src/map/fpga/fpgaInt.h +++ b/src/map/fpga/fpgaInt.h @@ -27,7 +27,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#include "src/misc/extra/extra.h" +#include "misc/extra/extra.h" #include "fpga.h" ABC_NAMESPACE_HEADER_START diff --git a/src/map/fpga/fpgaTruth.c b/src/map/fpga/fpgaTruth.c index d41b1184..2965f9f6 100644 --- a/src/map/fpga/fpgaTruth.c +++ b/src/map/fpga/fpgaTruth.c @@ -17,7 +17,7 @@ ***********************************************************************/ #include "fpgaInt.h" -#include "src/bdd/cudd/cudd.h" +#include "bdd/cudd/cudd.h" ABC_NAMESPACE_IMPL_START |