diff options
Diffstat (limited to 'src/aig/gia/giaAig.h')
| -rw-r--r-- | src/aig/gia/giaAig.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAig.h b/src/aig/gia/giaAig.h index 6522a5bc..adcf9097 100644 --- a/src/aig/gia/giaAig.h +++ b/src/aig/gia/giaAig.h @@ -26,7 +26,7 @@ /// INCLUDES /// //////////////////////////////////////////////////////////////////////// -#include "src/aig/aig/aig.h" +#include "aig/aig/aig.h" #include "gia.h" ABC_NAMESPACE_HEADER_START |