From ac343478e710c002294dd83f1497d4323eb1ba7e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 6 Nov 2012 20:28:27 -0800 Subject: Improved DSD. --- src/opt/dau/dauDsd.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index 32c2dab1..b7a76838 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -1313,7 +1313,7 @@ char * Dau_DsdDecompose( word * pTruth, int nVarsInit, int * pnSizeNonDec ) *pnSizeNonDec = p->nSizeNonDec; return p->pOutput; } -void Dau_DsdTest33() +void Dau_DsdTest() { // char * pStr = "(!(!a)!(!fe))"; // char * pStr = "([acb])"; @@ -1328,7 +1328,7 @@ void Dau_DsdTest33() t = 0; } -void Dau_DsdTest() +void Dau_DsdTest33() { char * pFileName = "_npn/npn/dsd06.txt"; FILE * pFile = fopen( pFileName, "rb" ); -- cgit v1.2.3