diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c
index 7d2a0cee5..c4437fbb3 100644
--- a/src/base/abc/abcFunc.c
+++ b/src/base/abc/abcFunc.c
@@ -1029,7 +1029,10 @@ int Abc_NtkToBdd( Abc_Ntk_t * pNtk )
         return Abc_NtkSopToBdd(pNtk);
     }
     if ( Abc_NtkHasSop(pNtk) )
-        return Abc_NtkSopToBdd(pNtk);
+    {
+        Abc_NtkSopToAig(pNtk);
+        return Abc_NtkAigToBdd(pNtk);
+    }
     if ( Abc_NtkHasAig(pNtk) )
         return Abc_NtkAigToBdd(pNtk);
     assert( 0 );