diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-10 13:21:17 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-10 13:21:17 -0700 |
| commit | 60540f3c6137277ad13d5d47e7e2c8960ec2c88f (patch) | |
| tree | ba23e1d4e5c749c4dee4ccc393e2537723e4d95f /src/aig/gia/giaUtil.c | |
| parent | d4c70cb6c15f76f8388c471c842fb17f162408cb (diff) | |
| download | abc-60540f3c6137277ad13d5d47e7e2c8960ec2c88f.tar.gz abc-60540f3c6137277ad13d5d47e7e2c8960ec2c88f.tar.bz2 abc-60540f3c6137277ad13d5d47e7e2c8960ec2c88f.zip | |
Moving #include to the top of the file in 'giaUtil.c'.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -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.] |