From 71cbf17e7f0352556af12ccccf9051e02c773e58 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Feb 2011 17:46:48 -0800
Subject: Unified the use of counter-examples in three packages.

---
 src/base/abci/abcDprove2.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abcDprove2.c')

diff --git a/src/base/abci/abcDprove2.c b/src/base/abci/abcDprove2.c
index 7d432612..b9b2c10a 100644
--- a/src/base/abci/abcDprove2.c
+++ b/src/base/abci/abcDprove2.c
@@ -384,7 +384,7 @@ finish:
     // verify counter-example
     if ( pNtk->pSeqModel ) 
     {
-        int status = Ssw_SmlRunCounterExample( pMan, pNtk->pSeqModel );
+        int status = Saig_ManVerifyCex( pMan, pNtk->pSeqModel );
         if ( status == 0 )
             printf( "Abc_NtkDarBmc(): Counter-example verification has FAILED.\n" );
     }
-- 
cgit v1.2.3