From 32315113eafb2b156f076bcd4b87412d5fee200a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 18 Nov 2018 21:03:26 -0800
Subject: Various usability changes.

---
 src/proof/pdr/pdrCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof')

diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c
index 3323d647..4e206b9a 100644
--- a/src/proof/pdr/pdrCore.c
+++ b/src/proof/pdr/pdrCore.c
@@ -1427,7 +1427,7 @@ int Pdr_ManSolve( Aig_Man_t * pAig, Pdr_Par_t * pPars )
         char * pFileName = Extra_FileNameGenericAppend(p->pAig->pName, "_inv.pla");
         Abc_FrameSetInv( Pdr_ManDeriveInfinityClauses( p, RetValue!=1 ) );
         Pdr_ManDumpClauses( p, pFileName, RetValue==1 );
-        printf( "Dumpted invariable in file \"%s\".\n", pFileName );
+        printf( "Dumped inductive invariant in file \"%s\".\n", pFileName );
     }
     else if ( RetValue == 1 )
         Abc_FrameSetInv( Pdr_ManDeriveInfinityClauses( p, RetValue!=1 ) );
-- 
cgit v1.2.3