diff --git a/abclib.dsp b/abclib.dsp
index c77ea4f43..fcbe343bc 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5103,7 +5103,7 @@ SOURCE=.\src\aig\gia\giaResub2.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaResub3_new.c
+SOURCE=.\src\aig\gia\giaResub3.c
 # End Source File
 # Begin Source File
 
diff --git a/src/aig/gia/giaSimBase.c b/src/aig/gia/giaSimBase.c
index 23b2eb319..9e7033abd 100644
--- a/src/aig/gia/giaSimBase.c
+++ b/src/aig/gia/giaSimBase.c
@@ -211,7 +211,6 @@ Gia_Man_t * Gia_ManPerformMuxDec( Gia_Man_t * p )
     Gia_ManHashAlloc( pNew );
     for ( o = 0; o < Gia_ManCoNum(p); o++ )
     {
-        Abc_TtReverseVars( pRes+o*nWords, nWords );
         Vec_IntClear( vDatas );
         for ( i = 0; i < nWords; i++ )
             Vec_IntPush( vDatas, Kit_TruthToGia(pNew, (unsigned *)(pRes+o*nWords+i), 6, vMemory, vLeaves, 1) );