summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-08-02 17:06:08 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-08-02 17:06:08 -0700
commit82aec90c6cfd503fb6efaf5251bb5286785f7038 (patch)
tree65373b2d9bbb0325d68a07f835959c1a7815a853 /src/aig
parentedba505d9d9b18af430ee0fa68f0957d0a3b9f1e (diff)
downloadabc-82aec90c6cfd503fb6efaf5251bb5286785f7038.tar.gz
abc-82aec90c6cfd503fb6efaf5251bb5286785f7038.tar.bz2
abc-82aec90c6cfd503fb6efaf5251bb5286785f7038.zip
Compiler warnings.
Diffstat (limited to 'src/aig')
-rw-r--r--src/aig/aig/aigFact.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigFact.c b/src/aig/aig/aigFact.c
index a5a307b9..6354a981 100644
--- a/src/aig/aig/aigFact.c
+++ b/src/aig/aig/aigFact.c
@@ -347,7 +347,7 @@ Vec_Ptr_t * Aig_SuppMinPerform( Aig_Man_t * p, Vec_Ptr_t * vOrGate, Vec_Ptr_t *
***********************************************************************/
Aig_Obj_t * Aig_SuppMinReconstruct( Aig_Man_t * p, Vec_Ptr_t * vCofs, Vec_Ptr_t * vNodes, Vec_Ptr_t * vSupp )
{
- Aig_Obj_t * pObj;
+ Aig_Obj_t * pObj = NULL;
int i;
// set the value of the support variables
Vec_PtrForEachEntry( Aig_Obj_t *, vSupp, pObj, i )