From 96d3348d8ffc7324472c9fa8e65d1d4c9e4752df Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 2 Nov 2012 12:02:16 -0700 Subject: Fixing out-of-bound problem when collecting GIA nodes. --- src/aig/gia/gia.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia/gia.h') diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 35d80047..8c3d761c 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -889,7 +889,7 @@ extern float Gia_ManEvaluateSwitching( Gia_Man_t * p ); extern float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbOne ); /*=== giaTruth.c ===========================================================*/ extern word Gia_ObjComputeTruthTable6( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp, Vec_Wrd_t * vTruths ); -extern void Gia_ObjCollectInternal( Gia_Man_t * p, Gia_Obj_t * pObj ); +extern int Gia_ObjCollectInternal( Gia_Man_t * p, Gia_Obj_t * pObj ); extern unsigned * Gia_ObjComputeTruthTable( Gia_Man_t * p, Gia_Obj_t * pObj ); extern void Gia_ObjComputeTruthTableStart( Gia_Man_t * p, int nVarsMax ); extern void Gia_ObjComputeTruthTableStop( Gia_Man_t * p ); -- cgit v1.2.3