diff options
| -rw-r--r-- | src/aig/gia/giaUtil.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index bb8d245a..407c9aca 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -19,6 +19,7 @@ ***********************************************************************/ #include "gia.h" +#include "base/main/mainInt.h" ABC_NAMESPACE_IMPL_START @@ -1562,8 +1563,6 @@ int Gia_ManHasChoices_very_old( Gia_Man_t * p ) } -#include "base/main/mainInt.h" - /**Function************************************************************* Synopsis [Proving multi-output properties.] |