From ac343478e710c002294dd83f1497d4323eb1ba7e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
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<bcd>)!(!fe))";
 //    char * pStr = "([acb]<!edf>)";
@@ -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