summaryrefslogtreecommitdiffstats
path: root/src/base/abci
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-04-01 21:41:53 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-04-01 21:41:53 -0700
commitb902b00779be6ed036356c3fbca303e69d7f4d04 (patch)
tree417f9691427b7c2eea6cf35d02d298bd8d8c9e0a /src/base/abci
parentf99e5cd9d6c26987c3164dd28bae5b04c1404509 (diff)
downloadabc-b902b00779be6ed036356c3fbca303e69d7f4d04.tar.gz
abc-b902b00779be6ed036356c3fbca303e69d7f4d04.tar.bz2
abc-b902b00779be6ed036356c3fbca303e69d7f4d04.zip
Small changes to LMS code.
Diffstat (limited to 'src/base/abci')
-rw-r--r--src/base/abci/abcRec3.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c
index 00609926..689f73f2 100644
--- a/src/base/abci/abcRec3.c
+++ b/src/base/abci/abcRec3.c
@@ -1084,7 +1084,7 @@ Hop_Obj_t * Abc_RecToHop3( Hop_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut,
SeeAlso []
***********************************************************************/
-int Abc_RecToGia3( Gia_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut, If_Obj_t * pIfObj, Vec_Int_t * vLeaves, int fHash )
+int Abc_RecToGia3( Gia_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut, Vec_Int_t * vLeaves, int fHash )
{
Lms_Man_t * p = s_pMan3;
char pCanonPerm[LMS_VAR_MAX];