From 3ac8aa9c12adb9593f498dc1ea33bbdce18e6713 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 12 Oct 2014 09:10:27 -0700
Subject: Recommended changes for portability.

---
 src/aig/gia/giaMf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaMf.c')

diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index f52cb7ec..03848f1e 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -23,6 +23,7 @@
 #include "misc/util/utilTruth.h"
 #include "misc/extra/extra.h"
 #include "sat/cnf/cnf.h"
+#include "opt/dau/dau.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -96,7 +97,6 @@ static inline int        Mf_CutIsTriv( int * pCut, int i )           { return Mf
 #define Mf_ObjForEachCut( pCuts, i, nCuts )     for ( i = 0, i < nCuts; i++ )
 
 extern int Kit_TruthToGia( Gia_Man_t * pMan, unsigned * pTruth, int nVars, Vec_Int_t * vMemory, Vec_Int_t * vLeaves, int fHash );
-extern void Dau_DsdPrintFromTruth( word * pTruth, int nVarsInit );
 
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
-- 
cgit v1.2.3