diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-13 16:59:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-13 16:59:47 -0700 |
| commit | 70cb236144cb9d4309f45bc132aa6765ddd5e045 (patch) | |
| tree | 6d177486d8b604e83251d471bdc9260910e30b49 /src | |
| parent | 5326a599454f29457057db8e089e00f0b52ecb7d (diff) | |
| download | abc-70cb236144cb9d4309f45bc132aa6765ddd5e045.tar.gz abc-70cb236144cb9d4309f45bc132aa6765ddd5e045.tar.bz2 abc-70cb236144cb9d4309f45bc132aa6765ddd5e045.zip | |
Compiler problem with includes.
Diffstat (limited to 'src')
| -rw-r--r-- | src/bdd/dsd/dsdTree.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |