Skip to content

A
abc
Commit 60540f3c by Alan Mishchenko
Options

Moving #include to the top of the file in 'giaUtil.c'.

parent d4c70cb6
Showing with 1 additions and 2 deletions
src/aig/gia/giaUtil.c
...@@ -19,6 +19,7 @@ ...@@ -19,6 +19,7 @@
***********************************************************************/ ***********************************************************************/
#include "gia.h" #include "gia.h"
#include "base/main/mainInt.h"
ABC_NAMESPACE_IMPL_START ABC_NAMESPACE_IMPL_START
...@@ -1562,8 +1563,6 @@ int Gia_ManHasChoices_very_old( Gia_Man_t * p ) ...@@ -1562,8 +1563,6 @@ int Gia_ManHasChoices_very_old( Gia_Man_t * p )
} }
#include "base/main/mainInt.h"
/**Function************************************************************* /**Function*************************************************************
Synopsis [Proving multi-output properties.] Synopsis [Proving multi-output properties.]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment