Skip to content

A
abc
Commit 88e887d1 by Alan Mishchenko
Options

Fixing gcc compilation problem.

parent 849f1807
Showing with 2 additions and 2 deletions
src/sat/xsat/xsatHeap.h
...@@ -48,7 +48,7 @@ struct xSAT_Heap_t_ ...@@ -48,7 +48,7 @@ struct xSAT_Heap_t_
SeeAlso [] SeeAlso []
***********************************************************************/ ***********************************************************************/
inline int xSAT_HeapSize( xSAT_Heap_t * h ) static inline int xSAT_HeapSize( xSAT_Heap_t * h )
{ {
return Vec_IntSize( h->vHeap ); return Vec_IntSize( h->vHeap );
} }
...@@ -64,7 +64,7 @@ inline int xSAT_HeapSize( xSAT_Heap_t * h ) ...@@ -64,7 +64,7 @@ inline int xSAT_HeapSize( xSAT_Heap_t * h )
SeeAlso [] 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 ); return ( Var < Vec_IntSize( h->vIndices ) ) && ( Vec_IntEntry( h->vIndices, Var ) >= 0 );
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment