From 45acbef88233a5863d03a03203b9c5ffaa07d301 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 8 May 2021 14:02:51 -0700
Subject: Updating cost function in &save/&load.

---
 src/aig/gia/giaIf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 50101bdf..7056e310 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -241,7 +241,7 @@ void Gia_ManLutParams( Gia_Man_t * p, int * pnCurLuts, int * pnCurEdges, int * p
                     pLevels[i] = Abc_MaxInt( pLevels[i], pLevels[Gia_ObjFaninId1(pObj, i)] );
                 }
                 *pnCurLevels = Abc_MaxInt( *pnCurLevels, pLevels[i] );
-                *pnCurEdges++;
+                (*pnCurEdges)++;
                 //nMuxF++;
                 continue;
             }
-- 
cgit v1.2.3