diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index 129b43d9a..76a9611c8 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1632,6 +1632,7 @@ ddSymmSiftingBackward(
     Move *move;
     int  res = -1;
 
+    size = size;
     for (move = moves; move != NULL; move = move->next) {
         if (move->size < size) {
             size = move->size;
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c
index 1b690cb91..bef0f894c 100644
--- a/src/opt/dau/dauDsd.c
+++ b/src/opt/dau/dauDsd.c
@@ -412,7 +412,7 @@ void Dau_DsdTestOne( word t, int i )
 //    t = t & 0xFFFFFFFF;
 //    t |= (t << 32);
     p = Dau_DsdPerform( t );
-    return;
+//    return;
 
     t2 = Dau_DsdToTruth( p ); 
     if ( t != t2 )
diff --git a/src/opt/dau/module.make b/src/opt/dau/module.make
index 5fd9ef90d..c58d8807e 100644
--- a/src/opt/dau/module.make
+++ b/src/opt/dau/module.make
@@ -1,3 +1,3 @@
 SRC +=    src/opt/dau/dau.c \
-    src/opt/dau/daCore.c \
-    src/opt/dau/daDsd.c
+    src/opt/dau/dauCore.c \
+    src/opt/dau/dauDsd.c