diff --git a/src/base/abc/abcLatch.c b/src/base/abc/abcLatch.c
index 8481e5824..34b77e343 100644
--- a/src/base/abc/abcLatch.c
+++ b/src/base/abc/abcLatch.c
@@ -733,9 +733,10 @@ int Abc_NtkVerifyCex( Abc_Ntk_t * pNtk, Abc_Cex_t * p )
     Abc_NtkCleanMarkC( pNtk );
     Abc_AigConst1(pNtk)->fMarkC = 1;
     // initialize flops
-    Abc_NtkForEachLatch( pNtk, pObj, i )
-        Abc_ObjFanout0(pObj)->fMarkC = Abc_InfoHasBit(p->pData, iBit++);
+//    Abc_NtkForEachLatch( pNtk, pObj, i )
+//        Abc_ObjFanout0(pObj)->fMarkC = Abc_InfoHasBit(p->pData, iBit++);
     // simulate timeframes
+    iBit = p->nRegs;
     for ( i = 0; i <= p->iFrame; i++ )
     {
         Abc_NtkForEachPi( pNtk, pObj, k )