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 | |
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')
-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.] |