From 70cb236144cb9d4309f45bc132aa6765ddd5e045 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 13 Oct 2014 16:59:47 -0700
Subject: Compiler problem with includes.

---
 src/bdd/dsd/dsdTree.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/bdd/dsd/dsdTree.c b/src/bdd/dsd/dsdTree.c
index 35c69ffe..9b9dd212 100644
--- a/src/bdd/dsd/dsdTree.c
+++ b/src/bdd/dsd/dsdTree.c
@@ -18,6 +18,7 @@
 
 #include "dsdInt.h"
 #include "misc/util/utilTruth.h"
+#include "opt/dau/dau.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -869,7 +870,6 @@ void Dsd_TreePrint2_rec( FILE * pFile, DdManager * dd, Dsd_Node_t * pNode, int f
         fprintf( pFile, " " );
         if ( pNode->nDecs <= 6 )
         {
-            extern unsigned Abc_TtCanonicize( word * pTruth, int nVars, char * pCanonPerm );
             char pCanonPerm[6]; int uCanonPhase;
             // compute truth table
             DdNode * bFunc = Dsd_TreeGetPrimeFunction( dd, pNode );  
-- 
cgit v1.2.3