summaryrefslogtreecommitdiffstats
path: root/src/base
diff options
context:
space:
mode:
Diffstat (limited to 'src/base')
-rw-r--r--src/base/wlc/wlcAbs.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index 82de4284..e355c313 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/src/base/wlc/wlcAbs.c
@@ -1724,9 +1724,7 @@ int Wla_ManSolve( Wla_Man_t * pWla, Wlc_Par_t * pPars )
printf( "\n" );
printf( "Abstraction " );
if ( RetValue == 0 )
- {
printf( "resulted in a real CEX" );
- }
else if ( RetValue == 1 )
printf( "is successfully proved" );
else