From 60540f3c6137277ad13d5d47e7e2c8960ec2c88f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 10 Sep 2013 13:21:17 -0700 Subject: Moving #include to the top of the file in 'giaUtil.c'. --- src/aig/gia/giaUtil.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/aig') 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.] -- cgit v1.2.3