From 0971429b560de650a04b0d6f93dc2e5e0c593579 Mon Sep 17 00:00:00 2001
From: wjrforcyber <wjrforcyber@163.com>
Date: Fri, 18 Aug 2023 12:42:13 +0800
Subject: [PATCH] Refactor(Typo):rec_add2 is no longer exist

---
 src/base/abci/abc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 0ff8a6f34..63b47b5ce 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -17814,7 +17814,7 @@ int Abc_CommandRecPs3( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     if ( !Abc_NtkRecIsRunning3() )
     {
-        Abc_Print( -1, "This command works for AIGs only after calling \"rec_start2\".\n" );
+        Abc_Print( -1, "This command works for AIGs only after calling \"rec_start3\".\n" );
         return 0;
     }
     Abc_NtkRecPs3(fPrintLib);
@@ -17866,7 +17866,7 @@ int Abc_CommandRecAdd3( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
     if ( !Abc_NtkRecIsRunning3() )
     {
-        Abc_Print( -1, "This command works for AIGs after calling \"rec_start2\".\n" );
+        Abc_Print( -1, "This command works for AIGs after calling \"rec_start3\".\n" );
         return 0;
     }
     Abc_NtkRecAdd3( pNtk, fUseSOPB );