diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-24 20:46:03 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-24 20:46:03 -0800 |
| commit | 88e887d1a08649cec01d508c4c24c08911a29eea (patch) | |
| tree | 5ba155255d0e5660dfef688c0557a0d6971e4c26 /src/sat/xsat | |
| parent | 849f18076411a54c21e593e3bd9e72bf6d56883e (diff) | |
| download | abc-88e887d1a08649cec01d508c4c24c08911a29eea.tar.gz abc-88e887d1a08649cec01d508c4c24c08911a29eea.tar.bz2 abc-88e887d1a08649cec01d508c4c24c08911a29eea.zip | |
Fixing gcc compilation problem.
Diffstat (limited to 'src/sat/xsat')
| -rw-r--r-- | src/sat/xsat/xsatHeap.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/xsat/xsatHeap.h b/src/sat/xsat/xsatHeap.h index 2e873e59..409ce460 100644 --- a/src/sat/xsat/xsatHeap.h +++ b/src/sat/xsat/xsatHeap.h @@ -48,7 +48,7 @@ struct xSAT_Heap_t_ SeeAlso [] ***********************************************************************/ -inline int xSAT_HeapSize( xSAT_Heap_t * h ) +static inline int xSAT_HeapSize( xSAT_Heap_t * h ) { return Vec_IntSize( h->vHeap ); } @@ -64,7 +64,7 @@ inline int xSAT_HeapSize( xSAT_Heap_t * h ) SeeAlso [] ***********************************************************************/ -inline int xSAT_HeapInHeap( xSAT_Heap_t * h, int Var ) +static inline int xSAT_HeapInHeap( xSAT_Heap_t * h, int Var ) { return ( Var < Vec_IntSize( h->vIndices ) ) && ( Vec_IntEntry( h->vIndices, Var ) >= 0 ); } |